The Emacs experience for Idris is _incredibly_ good. Thanks, @d_christiansen!
Replying to @joranwei
@joeranweiler @d_christiansen I switched to vim a few years ago, and this sort of comment makes me consider switching back again...
10:45 AM - 11 Nov 2015
0 replies
0 retweets
3 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.