Update changelog for v1.1.2

Beluga-lang · Jul 22, 2024 · 36e541d · 36e541d
1 parent c55dbab
commit 36e541d
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,16 @@
+## v1.1.2
+
+### 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.
+
 ## v1.1.1
 
 ### Added