GMB’s Lambda Calculus
7.8

GMB’s Lambda Calculus

Griffin

 (require glc) package: glc

An untyped, lazy lambda calculus.

 (require glc/base) package: glc