@dysinger @d_christiansen @raichoo I myself await the language that learns from the mistakes of Agda, Idris, Epigram, and friends :-)
-
-
@edwinbrady@dysinger@raichoo But we have to mess yours up thoroughly first! Otherwise the lessons may never be extracted! -
@d_christiansen@dysinger@raichoo I suppose I could also encourage you to use mine to implement yours... - 3 more replies
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.