lambda calculus

by pupon

See Code Download Embed

lambda calculus(not lazy evaluation)

[Syntax]
lambda abstraction(right-associative)
\ args(separate with space). <expr>

application(left-associative)
f x

Created February 28, 2024

Last updated March 10, 2024

Published March 10, 2024