@@ -34,6 +34,15 @@
3434+ The deprecated keywords `%assert_total`, `abstract`, and `[static]` have
3535 been removed as well as the use of "public" instead of "public export" to
3636 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.
39+ ```idris
40+ do …
41+ let Just x = expr | Nothing => empty
42+ …
43+ ```
44+ This means that a `with`-application (using `|`) cannot be used in that
45+ position anymore.
3746
3847## Library Updates
3948