This project implements a parser, big- and small- step semantics for the IMP language fully described in https://groups.seas.harvard.edu/courses/cs152/2019sp/lectures/lec05-imp.pdf
This project implements a parser, big- and small- step semantics for the IMP language fully described in https://groups.seas.harvard.edu/courses/cs152/2019sp/lectures/lec05-imp.pdf