Skip to content

feat(lean): add pattern-matching on constant literals#1789

Merged
abentkamp merged 1 commit intomainfrom
lean-match
Dec 1, 2025
Merged

feat(lean): add pattern-matching on constant literals#1789
abentkamp merged 1 commit intomainfrom
lean-match

Commits

Commits on Dec 1, 2025