Work in progress haskell implementation of various forms of lambda calculus. Currently untyped lambda calculus and simply typed lambda calculus (with booleans) is are done. Simply typed lambda calculus with booleans, integers and general recursion is in progress.
-
Notifications
You must be signed in to change notification settings - Fork 0
avwhite/untlambda
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Haskell implementation of lambda calculus
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published