Skip to content

Contract eta-expanded type constructors - #147

Merged
rochala merged 1 commit into
mainfrom
fix/eta-expanded-lambdas
Aug 24, 2026
Merged

Contract eta-expanded type constructors#147
rochala merged 1 commit into
mainfrom
fix/eta-expanded-lambdas

Contract eta-expanded type constructors in argument position

75a18a0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (actions)
succeeded Aug 23, 2026 in 33s