@PaulTypes @raichoo OCaml is still far more practical than Idris. We're working on it though :-)
@d_christiansen We won't get there if we don't encourage people to try it though! *scribbles merrily away* @paultypes @raichoo
-
-
@edwinbrady @PaulTypes@raichoo yes, the time for warning them is over! -
@d_christiansen I'd still give a light warning (and a "please don't sue me" :)) but encourage nevertheless…@paultypes@raichoo - 8 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.