Skip to content

Argument scoping

Elisabeth.Stenholmrequested to merge
variable-inference into master

This merge request implements argument scoping in sequent specifications.

Merge request reports