Skip to content

WIP: contextual semantics - #7795

Draft
ana-pantilie wants to merge 4 commits into
masterfrom
ana/contextual-semantics-uplc
Draft

WIP: contextual semantics#7795
ana-pantilie wants to merge 4 commits into
masterfrom
ana/contextual-semantics-uplc

Keep track of forces and arguments in well-defined partial applications

4be3034
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/eval succeeded Jul 7, 2026 in 6s

Evaluation succeeded

Checkout took 13s.
Evaluation took 30 min 6s.

View more details on IOG Hydra