Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
Prerequisites: pdflatex, latexmk, make, git, and some common latex packages.
- Make sure it compiles: use
make FLAGS=''to disable
- Wrap text to 80 characters.
- Put each lecture in a branch and merge it will a pull request (preferably after it's been checked over).