GMB’s Lambda Calculus
8.2

GMB’s Lambda Calculus

Griffin

 (require glc) package: glc

An untyped, lazy lambda calculus.

 (require glc/base) package: glc