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 @SeanTAllen
Evidence so far is that I still make comical mistakes, but it's at least set up so that the worst problems in Idris 1 can't happen. I'm just not going to pretend types are magic :).
0 replies 0 retweets 3 likes
Replying to @SeanTAllen
I'm going to pretend I don't understand...
2:11 PM - 6 Aug 2018
0 replies
0 retweets
7 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.