commit: 849724352a0c235b65ccce32a10f2fca902d765c

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu Mar 24 18:24:39 2022 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Apr 07 17:18:48 2022 +0200
tree: e2adfd66f031b24a7a4ab0a858f38b6ba3057d99
parent: be7c71d1c8037a3a9aaa03b0f7d81259bb856712 [diff]

fix: `fun (x ...) ...` should not be treated as a pattern

src/Lean/Elab/Binders.lean[diff]
tests/lean/funParen.lean[Added - diff]
tests/lean/funParen.lean.expected.out[Added - diff]

3 files changed

tree: e2adfd66f031b24a7a4ab0a858f38b6ba3057d99

README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.