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 @pasiphae_goals
Probably no big rush for that, because I want to do more interesting things with it first. But still not long, I hope, because then I can stop feeling guilty about not maintaining Idris 1 very well.
2:10 PM - 6 Aug 2018
0 replies
0 retweets
6 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.