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...
-
-
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 :).
- 2 more replies
New conversation -
-
-
Oh, with the intent to be self-hosting?
-
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...
End of conversation
New conversation -
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.