ATPL24 Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024) Clone this repo git clone --recursive https://github.com/HarrisonGrodin/ATPL24.git This will also clone the submodule(s).