Idris 1.0 has been released. Details here: https://www.idris-lang.org/idris-1-0-released/ …
-
-
Replying to @idrislang
Yaaaay ! I can't believe it ! Wait... Let's check, is it an April's fool ?!
1 reply 0 retweets 1 like
Replying to @Franck_FS @idrislang
I couldn't possibly comment... *whistles innocently*
3:57 AM - 1 Apr 2017
0 replies
0 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.