Yocto-CFA

Leandro Facchinetti’s dissertation

Yocto-CFA has been abandoned.
For various reasons (the pandemic, the birth of my first son, having to move abroad, and so forth) I had to leave the PhD program a couple of months before finishing my dissertation.

Requirements

Install Node.js.

Rebuild Dissertation

$ (cd dissertation && npm install-test)

Run Tests

$ (cd code && npm install-test)

Experiment with Code

$ (cd code && npm install && npx ts-node)

// For example
> import { evaluate } from "./developing-an-analyzer/step-0--substitution-based-interpreter"
> evaluate(`(y => y)(x => x)`)
'x => x'