@PaulTypes @raichoo OCaml is still far more practical than Idris. We're working on it though :-)
@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
-
-
@edwinbrady @PaulTypes@raichoo it kinda misses the sense of joy and wonder that results from dependent types but is otherwise fine
-
@d_christiansen Well. The other p-word is welcome :). (Seriously, I think it could be much better at getting the point across.) - 4 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.