commit: aeb20af30b5c6839e7c72a4b996cf3ebbfdb4fcb

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

Fri Feb 09 11:20:00 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Feb 09 11:22:52 2024 -0800
tree: ab60cf1da831849e5437f7b03a5c985260149c0c
parent: 488bfe2128a1c5ff0e96c45cf6a382655dc7c703 [diff]

fix: `nomatch` regression

src/Lean/Elab/Match.lean[diff]
tests/lean/run/nomatch_regression.lean[Added - diff]

2 files changed

tree: ab60cf1da831849e5437f7b03a5c985260149c0c

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.