Shplait Lambda 3 Syntax And Evaluation

Summary

Representing `fun` forms and motivating the associated generalization of application forms. The λ-calculus is an even simpler language than Moe. It's a Turing-complete language that was invented by Alonzo Church in the ... Distinguishing expressions from values, and treating functions as values. Parsing for Moe with `fun` expressions and the revised `Exp` datatype. Our second step in understanding the letrec encoding is to separate the part of the factorial function's implementation that is not ... Adds let expressions (or let bindings, or let-in expressions) to our A practical introduction to the Our encoding of `letrec` works for functions, but it's not as general as `letrec` in Implementing the `subst` function to be used by `interp`.