"lambda" require
USE: lambda
lint-boot lint
Now try evaluating some expressions. First, an identity function:
((x.x) 5)
OK:5
Something more complicated:
(((x.(y.(y x))) 1) (x.x))
OK:1
Slava Pestov's weblog, primarily about Factor.
"lambda" require
USE: lambda
lint-boot lint
((x.x) 5)
OK:5
(((x.(y.(y x))) 1) (x.x))
OK:1
No comments:
Post a Comment