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 …
-
Show this thread
-
I just ran through my standard talk demo with it, and it worked perfectly. So that’s nice.
1 reply 0 retweets 3 likesShow this thread -
Replying to @edwinbrady @idrislang
You will come back to emacs. They all come back in the end :p
1 reply 0 retweets 0 likes
Replying to @cyocum @idrislang
I ran away from emacs in 2012 and every time I’ve considered going back I’ve decided it’s too overwhelming…
4:47 AM - 28 Nov 2017
0 replies
0 retweets
0 likes
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.