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 -
This is weirdly satisfyingpic.twitter.com/4OEY1HOMTJ
3 replies 15 retweets 60 likesShow this thread -
Replying to @edwinbrady
May I ask what editor it is which is talking to the ide-mode there?
1 reply 0 retweets 0 likes
Replying to @kristleifur
That's Atom. (I actually use vim but I understand enough about the Atom mode for it to be easily hackable :))
4:28 AM - 26 Oct 2018
0 replies
0 retweets
1 like
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.