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
-
Show this thread
-
-
Really cooking now... see if you can spot the things that Idris can't do in here :).pic.twitter.com/7AEIeX6Zzi
5 replies 17 retweets 89 likesShow this thread -
Replying to @edwinbrady
edwin that's so cool. but why not expand everything when there's only 1 implementation? that'd be even better!!!
1 reply 0 retweets 0 likes -
Replying to @marcusklaas
It would, but that would be a composition of multiple primitive editing steps which I think might be better done at a higher level. It's in the future plans...
1 reply 0 retweets 2 likes -
Replying to @edwinbrady @marcusklaas
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
1 reply 0 retweets 0 likes -
Replying to @workingkills @marcusklaas
I think the IDE mode should be able to do this
1 reply 0 retweets 1 like -
Replying to @edwinbrady @marcusklaas
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?
1 reply 0 retweets 0 likes
No, I mean it's a thing it ought to do
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.