As has been pointed out on the Discord, on Mastodon, and on GitHub, the Idris website is severely out of date. It has been on the todo-list for a while, but I'm now actively working on bringing it up to speed, as well as making it easier to maintain going …
read moreOther articles
Idris 2 version 0.7.0 Released
A new version (0.7.0) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
Highlights include:
- Size-change graphs are now matrices, faithfully implementing Lee, Jones, and Ben-Amram; 2001.
- Elaborator scripts can now access project files …