Idris: Oh hi @jfdm, I see you want to recompile your working code using my newest version. Well tough shit....
-
-
@edwinbrady@raichoo good point. I was also going to say, I've been using Idris in production for over a year now...my PhD depends on it... -
This Tweet is unavailable.
- 1 more reply
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.