A simple Python string-substitution-based interpreter for experimenting with writing and expanding lambda calculus. Contains pure lambda implementations of functions like Fibonacci, factorial and the Ackerman function.
-
Notifications
You must be signed in to change notification settings - Fork 0
A simple Python string-substitution-based interpreter for expanding (evaluating) lambda calculus. Contains pure lambda implementations of functions like Fibonacci, factorial and the Ackerman function.
License
dariotrinchero/lambda-calc
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A simple Python string-substitution-based interpreter for expanding (evaluating) lambda calculus. Contains pure lambda implementations of functions like Fibonacci, factorial and the Ackerman function.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published