CHANGES:
Added
- Added C. Sano, R. Kavanagh and B. Pientka's artifact for "Mechanizing Session-Types Using a Structural View" as a case study (#271).
Fixed
- Support postponed fixity pragmas in modules.
- The hole
_in the LF term\x._is parsed as a wildcard instead of as an identifier. - Shadowed bindings in a module are no longer brought into scope when the module is opened.
- Support postponed fixity pragmas in Harpoon sessions.