There's a new release of Idris out: http://www.idris-lang.org/idris-0-9-19-released/ … Thanks to all who've contributed, and have fun!
This release is unusual in that there aren't many new language features. It's just generally better, with better tools :).
0 replies
1 retweet
2 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.