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
%hidesupport for these - Numerous doc and error message enhancements, bug fixes, performance improvements, and much more
See the CHANGELOG for full details.