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).