You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The current implementation seems to work but should be checked.
The risk is to loose some equivalence/normalisation propagation
when a unification variable gets instanciated.
HApp node are also concerned as their head is often an uninstanciated
unification variable.
The text was updated successfully, but these errors were encountered:
The current implementation seems to work but should be checked.
The risk is to loose some equivalence/normalisation propagation
when a unification variable gets instanciated.
HApp node are also concerned as their head is often an uninstanciated
unification variable.
The text was updated successfully, but these errors were encountered: