@dysinger @d_christiansen @raichoo I myself await the language that learns from the mistakes of Agda, Idris, Epigram, and friends :-)
-
-
@edwinbrady@dysinger@raichoo I'm still waiting for your course on DTP implementation..... -
@d_christiansen@edwinbrady@dysinger@raichoo Add me to that patiently waiting list. ;-) - 1 more reply
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.