Blodwen (which I might have to admit is Idris 2 soon) has reached a point where I'm starting to miss type driven editing. This is probably a sign of progress. I wonder if I can make it go fast this time...
-
-
Replying to @edwinbrady
https://github.com/edwinb/Blodwen - intriguing - is there a summary of design changes / rationale vs Idris?
1 reply 0 retweets 0 likes
Replying to @cwgoes
I at least have the best intentions of documenting them. The main thing is taking linearity seriously from the start. Also trying to make it fast enough...
1:51 PM - 6 Aug 2018
0 replies
2 retweets
8 likes
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.