diff --git a/RELEASES.md b/RELEASES.md index e149212c29..7ea92ef0ce 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -1,6 +1,8 @@ Unreleased --------- +* [Introduce parser memoization to avoid exponentional behavior](https://github.com/leanprover/lean4/pull/1799). + * [feat: allow `doSeq` in `let x <- e | seq`](https://github.com/leanprover/lean4/pull/1809). * [Add hover/go-to-def/refs for options](https://github.com/leanprover/lean4/pull/1783).