issues
search
technicalguy
/
acs-category-theory-notes-2017
Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
13
stars
5
forks
source link
Fix some issues in Lecture 7
#15
Closed
varkor
closed
6 years ago
varkor
commented
6 years ago
See
this discussion
for motivation.
See this discussion for motivation.