I definitely recommend this. It makes Idris (and types) approachable and useful, rather than an academic curiosity.https://twitter.com/edwinbrady/status/730664653408370688 …
-
-
oh right, well in that case I totes withdraw my recommendation :-)
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.