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 yeah I see now that https://github.com/timjb/quantities/blob/master/Quantities/FreeAbelianGroup.idr … works just fineThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@pozorvlak oh nice! I'll try to finally get around to taking a closer a look then.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.