search

technicalguy / acs-category-theory-notes-2017

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

Lecture10 #19

Closed CoderPat closed 6 years ago

CoderPat commented 6 years ago

Add lecture 10 notes.

CoderPat commented 6 years ago

This branch isn't fully ready to be merged. For some reason, pdflatex isn't including the new chapter in the table of contents. If someone who has had this problem before could shed some light on this issue would appreciate it to avoid having to search online for it.

DimaSamoz commented 6 years ago

The problem might be the \end{document} in the end of lecture10.tex :)

CoderPat commented 6 years ago

That was it, my bad from copy-pasting from overleaf. Thanks Should ready for merge then,

technicalguy commented 6 years ago

Hopefully Marcelo will review it soon :)