Implementation of the lambda calculus using guile scheme.
I somewhat figured out how to use Y combinator sort of thing for recursion, thanks to "Why of Y".
betterlambda.scm uses only "let" for definitions, lambda.scm is thusly deprecated.
-
Notifications
You must be signed in to change notification settings - Fork 0
lambda calculus stuff inside lisp eg. λx.λy.y for false
License
lirorc/lambda-calculus-from-lisp-bits
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
lambda calculus stuff inside lisp eg. λx.λy.y for false