@PaulTypes @raichoo OCaml is still far more practical than Idris. We're working on it though :-)
-
-
@edwinbrady @paultypes@raichoo To be fair, if we want to match OCaml, we'll need several someones doing p-word things with it. -
@d_christiansen We won't get there if we don't encourage people to try it though! *scribbles merrily away* @paultypes@raichoo - 10 more replies
New conversation -
-
-
@edwinbrady@d_christiansen @paultypes@raichoo If I had a budget, would you have the time? -
@andreasdotorg If you had a budget I could probably make the time :). Sadly, I spend a very small amount of time on Idris at the minute.
End of conversation
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.