I would love to see the Idris mode for Atom get feature parity with Emacs and my Racket slide package!
-
-
or you could write Idris code entirely in slideshow
-
but in any case I hear spacemacs has good Idris support these days
End of conversation
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.