I'm unreasonably excited about having implemented enough of the Idris ide-mode in Blodwen to allow this to work. Next, better name generation...pic.twitter.com/dLlsuH8SBP
-
-
I actually wanted to ask something similar: could the IDE mode get access to a list of "things that can be done", especially when there's a strongly suggested solution? You know, the classic
in Intellij IDEA or Visual Studio Codepic.twitter.com/JCOz7kul5k
-
I think the IDE mode should be able to do this
- 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.