search

technicalguy / acs-category-theory-notes-2017

Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
13 stars 5 forks source link

Lecture 9 #17

Closed dc-mak closed 6 years ago

dc-mak commented 6 years ago

Andrej for the content, Shaun to check the Makefile and splitting is ok.