commit: 8b2db1183c899b4a438ad4b0c360969a4b091e70

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Fri Jul 19 08:57:35 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jul 19 08:57:35 2024 -0700
tree: 9f24664d76e6323cc79dcfbc182e76b13b5361a4
parent: a94805ff71f7576ee014aafc76b29e29b066bd80 [diff]

fix: add term elaborator for `Lean.Parser.Term.namedPattern`

src/Lean/Elab/BuiltinTerm.lean[diff]
tests/lean/run/4662.lean[Added - diff]

2 files changed

tree: 9f24664d76e6323cc79dcfbc182e76b13b5361a4

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).