Compile recursive datatypes - Githubissues

diprism / perpl

The PERPL Compiler

MIT License

10 stars 5 forks source link

Compile recursive datatypes #11

Closed colin-mcd closed 2 years ago

davidweichiang commented 2 years ago

[x] Transformation D (with f given)
[x] Transformation R (with f given)
[x] Use spanning tree to figure out right order of D and R (Section 6.5)
[ ] Automatically figure out what f is (this isn't clear yet)
[ ] Post-optimizations (maybe)