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...
-
-
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!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.