Skip to content

fix: mkBindUnlessPure should call the continuation only once#13985

Open
Rob23oba wants to merge 1 commit into
leanprover:masterfrom
Rob23oba:do-pure-cont-fix
Open

fix: mkBindUnlessPure should call the continuation only once#13985
Rob23oba wants to merge 1 commit into
leanprover:masterfrom
Rob23oba:do-pure-cont-fix

Commits

Commits on Jun 9, 2026