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...
Conversation
What part of working on Blodwen make you miss type driven editing?
1
Not having it for Blodwen programs yet...
1
2
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.
1
6
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! 😅