Skip to content

feat: add a backtrack combinator to Gen.#53

Merged
hargoniX merged 2 commits intoleanprover-community:mainfrom
codyroux:backtrack-combinator
Dec 16, 2025
Merged

feat: add a backtrack combinator to Gen.#53
hargoniX merged 2 commits intoleanprover-community:mainfrom
codyroux:backtrack-combinator

Commits

Commits on Dec 5, 2025

Commits on Dec 15, 2025