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 @SeanTAllen
I haven't been shouting about it much yet :). It's a new implementation of Idris in Idris. Meaning that it has much more imaginative bugs this time, because I have to work harder to make them.
1 reply 3 retweets 25 likes -
Replying to @edwinbrady @SeanTAllen
Oh, with the intent to be self-hosting?
1 reply 0 retweets 0 likes
Replying to @cwgoes @SeanTAllen
Eventually, yes. No rush though, I mostly wanted to rewrite a few core things so I thought I might as well try it in Idris...
1:49 PM - 6 Aug 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.