Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
Prerequisites: pdflatex, latexmk, make, git, and some common latex packages.
Then run
$ make
- Make sure it compiles.
- 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).