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
@d_christiansen Ooh. I was playing with the emacs mode on the train today and just wishing for that sort of thing :)
-
-
@edwinbrady did you see my helm screencast? - 3 more replies
New conversation -
-
-
@edwinbrady we aim to please!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.