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.

Select a check to view from the sidebar