Structsยง
- Beta
Reduce - Beta reduction pass: find
App { fun, arg }wherefunis aLam { binder, body }. Replaces it withsubst(body, binder, arg).
App { fun, arg } where fun is a Lam { binder, body }.
Replaces it with subst(body, binder, arg).