search

technicalguy / acs-category-theory-notes-2017

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

Lecture3 #5

Closed razvankusz closed 6 years ago

Dreian commented 6 years ago

Consider truncating lines to 80 characters, as it is the case for the first two lectures.

jrtc27 commented 6 years ago

Can we please not have those annoying unnecessary merges?

jrtc27 commented 6 years ago

(and also tidy up your commits+messages in general? You're free to make loads of tiny fix commits on your own branch, but they don't belong in the main history)