Canonicalize each arrow's Pi binder as the solver flattens types - #76
Closed
dpmills wants to merge 4 commits into
Closed
Canonicalize each arrow's Pi binder as the solver flattens types#76dpmills wants to merge 4 commits into
dpmills wants to merge 4 commits into
Commits
Commits on Aug 18, 2026
- committed
- committed
- committed
- committed
