/types-notes

Notes/errata for Part II Types Lecture Notes (2018-2019)

Primary LanguagePython

Unofficial notes/errata on Part II Types Lecture Notes, 2018-2019

Please submit issues / pull requests with corrections.

To check if the notes have been updated, run the python script:

$ pip3 install -r requirements.txt
$ ./check_for_updates.py

PDF available here.