Closed acl33 closed 3 years ago
Ooops, missed this one. We were recording and substituting the actual names (in the program) of variables bound by lets (in the template), but not for lams. A couple of lines of fix, plus a test (both let and lam, two cases).
Ooops, missed this one. We were recording and substituting the actual names (in the program) of variables bound by lets (in the template), but not for lams. A couple of lines of fix, plus a test (both let and lam, two cases).