Idris 2 v0.2.0 has been released. Full details here: https://www.idris-lang.org/idris-2-version-020-released.html … The signficance of this version is that it's the first released version that can compile itself. Have fun!
-
-
Replying to @idrislang @edwinbrady
Is the %access pragma still supported? I did a readthedocs search didn't see anything relevant. Both the Idris-1 files I fed it failed "Couldn't parse declaration" on that pragma. Idris 1.3.1 accepted it. Seems like maybe that needs added to the "Changes from Idris 1" section
2 replies 0 retweets 0 likes
Replying to @DaTwinkDaddy @idrislang
I'll do that. It's too easy to export things accidentally, so I didn't add it. It's left over from when we used something more like the Haskell export rules.
3:13 AM - 26 May 2020
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.