Help me convince @edwinbrady to set "write a dependently-typed linear algebra library" as a student project! https://docs.google.com/document/d/18QpKv46vhZxuT3sobLBIsbP0sFhqGPUJitWGdfRrzAQ/edit?usp=sharing …
-
-
.
@edwinbrady Hurrah!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@pozorvlak I kind of sketched out how gauss-jordan works by hand and it's really lovely. -
@edwinbrady@pozorvlak does idris yet support associative/commutative operations on types a la [Kennedy 97]? :) - 2 more replies
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.