Pretty huge update for Idris http://www.idris-lang.org/idris-0-11-released/ …
-
-
Replying to @rickasaurus
@rickasaurus I think we just wrote more notes than usual :)1 reply 0 retweets 2 likes -
Replying to @edwinbrady
@edwinbrady hah, that's a good promotion technique I guess1 reply 0 retweets 0 likes
Replying to @rickasaurus
@rickasaurus I wouldn't be so kind as to call it a technique… (Though this version *is* much better naturally :))
1:29 AM - 28 Mar 2016
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.