├── .gitignore ├── README ├── eval.rkt ├── exp.rkt ├── naive-peval.rkt ├── peval.rkt ├── prim.rkt └── tests.rkt /.gitignore: -------------------------------------------------------------------------------- 1 | compiled/ 2 | *~ 3 | -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stamourv/partial-evaluation-tutorial/HEAD/README -------------------------------------------------------------------------------- /eval.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stamourv/partial-evaluation-tutorial/HEAD/eval.rkt -------------------------------------------------------------------------------- /exp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stamourv/partial-evaluation-tutorial/HEAD/exp.rkt -------------------------------------------------------------------------------- /naive-peval.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stamourv/partial-evaluation-tutorial/HEAD/naive-peval.rkt -------------------------------------------------------------------------------- /peval.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stamourv/partial-evaluation-tutorial/HEAD/peval.rkt -------------------------------------------------------------------------------- /prim.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stamourv/partial-evaluation-tutorial/HEAD/prim.rkt -------------------------------------------------------------------------------- /tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stamourv/partial-evaluation-tutorial/HEAD/tests.rkt --------------------------------------------------------------------------------