Version 0.7.0 (2023 release)

Highlights include:

• Size-change graphs are now matrices, faithfully implementing [Lee, Jones, and Ben-Amram; 2001]
• Elaborator scripts can now access project files, allowing for type-providers and similar
• Warnings on conflicting fixity declarations along with %hide support for these
• Numerous doc and error message enhancements, bug fixes, performance improvements, and much more

See the CHANGELOG for full details.

Version 0.6.0

v0.6.0

Update version number in CHANGELOG (#2734)

v0.5.1

This is to solve a couple of build issues. It requires either Idris v0.4.0, or the bootstrap code, to build.

Chez Scheme 9.5 (possibly earlier versions too, I haven't checked) is now sufficient for the bootstrap build, like previous versions of Idris. Also removed the dependency on sha256sum since this is not portable.

v0.5.0

Version 0.5.0 (#1931)

* Update version numbers and bootstrap scheme

* Use wall clock time for search timeouts

That was always the intention in any case, rather than the process time.

v0.4.0

Merge pull request #1599 from edwinb/prepare-040

Changes for next release, 0.4.0