Idris 1.0 has been released. Details here: https://www.idris-lang.org/idris-1-0-released/ …
-
-
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 :)
-
oh, excellent, I had forgotten about that!
End of conversation
New conversation -
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.