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.
basic-calculus/compiler-2
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|