4 years and 3 days after Idris 0.9, it's probably time for Idris 0.10, so here it is. http://www.idris-lang.org/idris-0-10-released/ …
Replying to @kuhnhausen
@kuhnhausen you're very welcome, I hope you have fun with it :)
2:28 PM - 21 Jan 2016
0 replies
0 retweets
1 like
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.