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 @edwinbrady
@edwinbrady Microsoft would have called it “Idris 2017”.1 reply 0 retweets 0 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.