New release of Idris on hackage now: http://www.idris-lang.org/idris-0-9-13-released/ …
5:02 PM - 3 Jun 2014
0 replies
16 retweets
14 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.