Idris-in-racket now supports semantic highlights, a bit like in Emacs: https://i.imgur.com/TKDCtot.png
-
-
Replying to @d_christiansen
@d_christiansen The thing that intrigues me most about this is the phrase "Idris-in-racket"…1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady I wrote a library for interacting with Idris from Racket over the IDE protocol2 replies 0 retweets 0 likes
Replying to @d_christiansen
@d_christiansen That sounds fun!
3:17 AM - 8 Dec 2015
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.