PCF-Compiler

PCF-Compiler copied to clipboard

Some issues I've noticed: - Indentation in https://github.com/anicolaspp/PCF-Compiler/blob/master/src/main/scala/App.scala - Why commit any `.class` files? Better remove them and ban `.class` in a project-wide `.gitignore` file. - Class names are conventionally...

Blaisorblade

How do you prevent variable capture in substitution? I think your code would cause capture with (for instance) `subst("fun x -> y", "y", "x z")` (where I write concrete syntax...

Blaisorblade