refactor: don't extend Applicative in Alternative#11925
Open
JovanGerb wants to merge 4 commits intoleanprover:masterfrom
Open
refactor: don't extend Applicative in Alternative#11925JovanGerb wants to merge 4 commits intoleanprover:masterfrom
Applicative in Alternative#11925JovanGerb wants to merge 4 commits intoleanprover:masterfrom
Commits
Commits on Jan 7, 2026
- committed
- committed
- committed
- committed
