Skip to content

Support higher-order function sorts and partial application - #122

Merged
daniel-larraz merged 2 commits into
cvc5:mainfrom
daniel-larraz:higher-order-apply
Aug 16, 2026
Merged

Support higher-order function sorts and partial application#122
daniel-larraz merged 2 commits into
cvc5:mainfrom
daniel-larraz:higher-order-apply

Accept [] as a spelling of application

ebe5ca7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Aug 14, 2026 in 1m 50s