@@ -34,6 +34,15 @@
34+ The deprecated keywords `%assert_total`, `abstract`, and `[static]` have
34+ The deprecated keywords `%assert_total`, `abstract`, and `[static]` have
35 been removed as well as the use of "public" instead of "public export" to
35 been removed as well as the use of "public" instead of "public export" to
36 expose a symbol.
36 expose a symbol.
37++ The syntax for pattern-match alternatives now works for `let` statements in
38+ `do` blocks in addition to `let` expressions and `<-` statements, e.g.
41+ let Just x = expr | Nothing => empty
44+ This means that a `with`-application (using `|`) cannot be used in that
38## Library Updates
47## Library Updates