Skip to content

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

Open
daniel-larraz wants to merge 2 commits into
cvc5:mainfrom
daniel-larraz:higher-order-apply
Open

Support higher-order function sorts and partial application#122
daniel-larraz wants to merge 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