I’m trying out VSCode, and pleasantly surprised to find there’s a nice interactive @idrislang mode for it. Thanks!https://github.com/zjhmale/vscode-idris …
-
-
You will come back to emacs. They all come back in the end :p
-
I ran away from emacs in 2012 and every time I’ve considered going back I’ve decided it’s too overwhelming…
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.