Trying to both make the formal grammar agree with the type checking program and also express the idea that the lambda expressions that have been introduced are only for shipping out to the host system.
Trying to both make the formal grammar agree with the type checking
program and also express the idea that the lambda expressions that
have been introduced are only for shipping out to the host system.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language