search

technicalguy / acs-category-theory-notes-2017

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

Where are Lectures 15 and 16? #24

Open dc-mak opened 6 years ago

dc-mak commented 6 years ago

Obviously people are busy and have priorities but would be useful to have them sooner rather than later.

varkor commented 6 years ago

See https://github.com/technicalguy/acs-category-theory-notes-2017/pull/25 for Lecture 15.