RT @idrislang: Idris 1.2.0 has been released. Enjoy! Details here: https://www.idris-lang.org/idris-1-2-0-released/ …
0 replies
0 retweets
1 like
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.