Idris-in-racket now supports semantic highlights, a bit like in Emacs: https://i.imgur.com/TKDCtot.png
-
-
@edwinbrady I wrote a library for interacting with Idris from Racket over the IDE protocol -
@edwinbrady I'm planning on using it for live code bits in the slideshow at my defense - 2 more replies
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.