commit: 96dd4e84c15c0b61144d8044fa0917ccc8e4fef9

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

Sun Oct 15 18:33:06 2023 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Oct 15 19:14:07 2023 -0700
tree: f20f1ef60a0f5e718ee0e15c171bc94833b47a4e
parent: c0b021e196e0f82ae51db12a771b18d2b9f69bfa [diff]

feat: support for ground terms at `DiscrTree.lean`

WIP for discussing with @joehendrix

src/Lean/Meta/DiscrTree.lean[diff]
src/Lean/Meta/DiscrTreeTypes.lean[diff]
tests/lean/run/ground.lean[Added - diff]

3 files changed

tree: f20f1ef60a0f5e718ee0e15c171bc94833b47a4e

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.