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

Name		Name	Last commit message	Last commit date
Latest commit History 147 Commits
.github/workflows		.github/workflows
pl-syntax @ e800835		pl-syntax @ e800835
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md
bigplustimes.sty		bigplustimes.sty
defns.tex		defns.tex
infrastructure.tex		infrastructure.tex
intuition.png		intuition.png
phases.png		phases.png
pl-judgments.sty		pl-judgments.sty
pl-syntax.sty		pl-syntax.sty
setup.tex		setup.tex
week1.tex		week1.tex
week10.tex		week10.tex
week11.tex		week11.tex
week13.tex		week13.tex
week14.tex		week14.tex
week2.tex		week2.tex
week3.tex		week3.tex
week4.tex		week4.tex
week5.tex		week5.tex
week6.tex		week6.tex
week7.tex		week7.tex
week8.tex		week8.tex
week9.tex		week9.tex