prog

let is just a macro for a function application

2 2020-02-11 03:15

Another example is the special form begin which is equivalent to this function application:

(begin α β) ≡ ((lambda (void) β) α)

(void must not be a free variable in β but this can be guaranteed by using gensym)