A small example of transforming a silly arithmetic language into Church encoded lambda calculus using the nanopass framework.
The code is described in this accompanying post.
rootmos/silly-church
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A small example of transforming a silly arithmetic language into Church encoded lambda calculus using the nanopass framework.
The code is described in this accompanying post.