Skip to content

Do more aggressive lambda lifting#1886

Open
OlivierNicole wants to merge 5 commits intoocsigen:masterfrom
OlivierNicole:more-lambda-lifting
Open

Do more aggressive lambda lifting#1886
OlivierNicole wants to merge 5 commits intoocsigen:masterfrom
OlivierNicole:more-lambda-lifting

Commits

Commits on Sep 8, 2025