Last thing before bed on a Friday is probably a bad time to release software, but I did it anyway. Here's Idris 0.11 http://www.idris-lang.org/idris-0-11-released/ …
5:18 PM - 25 Mar 2016
0 replies
13 retweets
36 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.