idris-mode news: now supports evil-mode with the same bindings as idris-vim, and there's an official version for Idris 0.9.14
-
-
@edwinbrady that would have really been nice at dtp :)https://www.youtube.com/watch?v=nOeX3ZB3NjU … -
@d_christiansen You’ll just have to do it at the next thing :). Will take a look later. - 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.