Prototypes of programming languages written in Python.
- lam: The Simply-Typed Lambda Calculus with a few extras.
- cast: A Cast Calculus (extends lambda).
- poof: A language for writing proofs.
-
Notifications
You must be signed in to change notification settings - Fork 0
jsiek/prototypes-in-python
About
Prototypes of programming languages written in Python.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published