Idris 0.9.18 type checks! Ship it! http://www.idris-lang.org/idris-0-9-18-released/ …
And thanks to @kryptiskt there are now also Windows binaries for Idris 0.9.18 athttps://github.com/idris-lang/Idris-dev/wiki/Windows-Binaries …
0 replies
3 retweets
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.