Support higher-order function sorts and partial application - #122
Open
daniel-larraz wants to merge 2 commits into
Open
Support higher-order function sorts and partial application#122daniel-larraz wants to merge 2 commits into
daniel-larraz wants to merge 2 commits into
Commits
Commits on Aug 13, 2026
Commits on Aug 14, 2026
- andcommitted