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