•
GMB’s Lambda Calculus
GMB’s Lambda Calculus
8.2
top
← prev
up
next →
GMB’s Lambda Calculus
Griffin
(
require
glc
)
package:
glc
An untyped, lazy lambda calculus.
(
require
glc/base
)
package:
glc
top
← prev
up
next →