I’ve unleashed Idris 0.99 onto hackage. Details here: http://www.idris-lang.org/idris-0-99-released/ …
2:29 AM - 4 Dec 2016
0 replies
32 retweets
49 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.