. @edwinbrady @cmeik so obviously this means you'll be creating the one true editor in Idris right? ;)
-
-
-
I probably shouldn’t answer a rhetorical question, but I think this would be a really interesting use of dependent types :)
- 1 more reply
New conversation -
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.