Skip to content

Argument scoping

Elisabeth.Bonnevier requested to merge variable-inference into master

This merge request implements argument scoping in sequent specifications.

Merge request reports