Idris 1.0 has been released. Details here: https://www.idris-lang.org/idris-1-0-released/ …
-
-
Replying to @idrislang
@edwinbrady Congrats and excellent choice of release date!1 reply 0 retweets 7 likes -
-
I had to dig deeper just to check! You're in good company, The Haskell Report 1.0 was announced April 1 1990. Probably part of the joke :)
2 replies 1 retweet 5 likes
oh, excellent, I had forgotten about that!
8:39 AM - 1 Apr 2017
0 replies
0 retweets
3 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.