-
Dan Frumin authored
Modify the logical relation judment to include an environment Δ that contains a list of semantic types to interpret free type variables.
807e89f6
Modify the logical relation judment to include an environment Δ that contains a list of semantic types to interpret free type variables.