@PaulTypes @raichoo OCaml is still far more practical than Idris. We're working on it though :-)
@d_christiansen Well. The other p-word is welcome :). (Seriously, I think it could be much better at getting the point across.)
-
-
@edwinbrady I don't know what the other one is... -
@d_christiansen I meant "patch" in this case - 2 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.
