Skip to content

perf: make Except.bind and OptionT.bind abbreviations for lazy-delta reduction - #16336

Open
arthur-adjedj wants to merge 1 commit into
leanprover:masterfrom
arthur-adjedj:abbrev_bind
Open

perf: make Except.bind and OptionT.bind abbreviations for lazy-delta reduction#16336
arthur-adjedj wants to merge 1 commit into
leanprover:masterfrom
arthur-adjedj:abbrev_bind

perf: make `Except.bind` and `OptionT.bind` abbreviations for lazy-de…

a838dab
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
close-external-pr
succeeded Nov 7, 2026 in 4s