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
We should document this in the tutorial (though it is a little advanced): all expressions which don't depend on the "current" (lhs/rhs) heap are matched by value; those which do depend on the current heap are matched syntactically. We should add examples.
The text was updated successfully, but these errors were encountered:
We should document this in the tutorial (though it is a little advanced): all expressions which don't depend on the "current" (lhs/rhs) heap are matched by value; those which do depend on the current heap are matched syntactically. We should add examples.
The text was updated successfully, but these errors were encountered: