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
-
-
You mean it's already possible? And is it something that can be "observed" (ie. getting updates pushed) or one needs to poll for changes?
-
No, I mean it's a thing it ought to do
End of conversation
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.
in Intellij IDEA or Visual Studio Code