little λ-calculus interpreter
features:
- lambda expressions
\x, x - function applications
(\x x) (\y y) - numbers,
0=\s \z z,2=\s \z - arithmetic, e.g.
+ 1 2=3,* 5 4=20, and^ 5 3=125 :qto exit, just like your favorite text editor
-
Notifications
You must be signed in to change notification settings - Fork 0
haskell lambda calculator, now with numeric literals!
License
msp729/lam
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
haskell lambda calculator, now with numeric literals!
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published