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 You’ll just have to do it at the next thing :). Will take a look later.
-
-
@edwinbrady I doubt I can get much more academic milage out of this mode - unless i make it as awesome as Isabelle's jEdit interfaceThanks. 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.