A simple tagless final style compiler from a simple lambda calculus using Higher Order Abstract Syntax to first a point free/categorical representation and then to a simple call by push value representation using call by name.
-
Notifications
You must be signed in to change notification settings - Fork 0
Compiler 2 electric boogaloo, category theory edition
License
mstewartgallus/compiler-2
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Compiler 2 electric boogaloo, category theory edition
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published