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...
-
-
Oh, also, this isn't what I meant, but interactive editing in Idris gets really sluggish far too soon, largely due to choices I made a few years ago. I reckon if I'm going to make big changes, might as well start on the path to self hosting.
-
What choices are blocking progress in Idris? Kind of curious because I’m messing around with implementing a DT lang similar to Idris and I’d like to try to avoid some of the pitfalls!
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.