I have a compile-to-Racket implementation of a Pascal subset here: https://github.com/soegaard/minipascal https://github.com/soegaard/minipascal There are two

I have a compile-to-Racket implementation of a Pascal subset here: https://github.com/soegaard/minipascal https://github.com/soegaard/minipascal There are two versions. The first one https://github.com/soegaard/minipascal/blob/master/minipascal/compiler-simple.rkt is without typechecking. The second one adds a type checker: https://github.com/soegaard/minipascal/blob/master/minipascal/compiler.rkt https://github.com/soegaard/minipascal/blob/master/minipasca...