Maybe if I (or someone else) write(s) an interactive editor for Idris, this sort of argument will go away... http://www.reddit.com/r/haskell/comments/1f75ge/ann_idris_098_released/ …
-
-
@edwinbrady You need to find a Coq user to do it :)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.