@PaulTypes @raichoo OCaml is still far more practical than Idris. We're working on it though :-)
-
This Tweet is unavailable.
-
-
Replying to @d_christiansen
@d_christiansen @paultypes@raichoo All we need is some brave person to do something pr*ct*c*l with it (successfully) and we're away :)2 replies 0 retweets 2 likes -
Replying to @edwinbrady
@edwinbrady@d_christiansen @paultypes@raichoo If I had a budget, would you have the time?2 replies 0 retweets 0 likes
Replying to @andreasdotorg
@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.
1:04 PM - 1 Jun 2015
0 replies
0 retweets
0 likes
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.