Skip to content

Argument scoping

Elisabeth.Stenholm requested to merge variable-inference into master

This merge request implements argument scoping in sequent specifications.

Merge request reports