Doing some, er, Boring Idris.https://github.com/edwinb/IdrisApp/blob/master/tests/TestEx.idr …
-
-
Combining exceptions and linear types turns out to be achievable too. As long as: a) App is parameterised over whether a code fragment can throw; b) I've implemented the type checker competently...https://github.com/edwinb/IdrisApp/blob/master/tests/Door.idr …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Have you seen my monad-ste package? Might give you some ideas!
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.