@PaulTypes @raichoo OCaml is still far more practical than Idris. We're working on it though :-)
@d_christiansen I'd still give a light warning (and a "please don't sue me" :)) but encourage nevertheless…@paultypes @raichoo
-
-
@edwinbrady @PaulTypes@raichoo Just be honest about the state of it and our resources for providing tech support. Then they can decide. -
@d_christiansen @paultypes@raichoo That's what I've tried to get across here http://docs.idris-lang.org/en/latest/faq/faq.html#is-idris-production-ready … though maybe it's not clear enough - 6 more replies
New conversation -
-
-
@edwinbrady @PaulTypes@raichoo I kinda hope that the response to "Idris isn't p-word for that yet" becomes "challenge accepted"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.