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
mlSimpl should be renamed to mlPropagateSubst, because it only propagates substitutions currently into the subpatterns. On top of this tactic, we can define mlSimpl which actually simplifies the propagated substitutions (which also includes removing bound variable substitution for closed pattern).
The text was updated successfully, but these errors were encountered:
mlSimpl
should be renamed tomlPropagateSubst
, because it only propagates substitutions currently into the subpatterns. On top of this tactic, we can definemlSimpl
which actually simplifies the propagated substitutions (which also includes removing bound variable substitution for closed pattern).The text was updated successfully, but these errors were encountered: