Skip to content

Beta-eta reduction improvements - #1011

Merged
mezpusz merged 11 commits into
masterfrom
beta-reduction-improvements
Oct 7, 2026
Merged

Beta-eta reduction improvements#1011
mezpusz merged 11 commits into
masterfrom
beta-reduction-improvements

Don't keep BottomUpTermTransformer's formula transformer in a static

67e099f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Oct 7, 2026 in 21m 57s