BranchCommit messageAuthorAge
masterMinor clarifications about computability and universality.David A. Madore5 days
TagDownloadAuthorAge  printed-2018.tar.gz  printed-2018.tar.bz2  David A. Madore4 months  exam-20180206.tar.gz  exam-20180206.tar.bz2  David A. Madore12 months  printed-2017.tar.gz  printed-2017.tar.bz2  David A. Madore14 months  exam-20170207.tar.gz  exam-20170207.tar.bz2  David A. Madore23 months  broken-master.tar.gz  broken-master.tar.bz2  David A. Madore2 years
AgeCommit messageAuthorFilesLines
5 daysMinor clarifications about computability and universality.HEADmasterDavid A. Madore1-27/+38
5 daysFix bijection between ℕ² and ℕ.David A. Madore1-3/+3
14 daysVarious improvements to index.David A. Madore1-25/+31
2018-12-10Fix thinko.David A. Madore1-2/+2
2018-10-17Typos in slides.David A. Madore1-2/+2
2018-10-16Possible set of slides for first course.David A. Madore1-0/+633
2018-10-03Copy a lot of exercises into the course notes.printed-2018David A. Madore1-2/+2586
2018-03-23Clarify that answer does not need to be formalized as such.David A. Madore1-0/+5
2018-03-23Typo.David A. Madore1-1/+1
2018-03-23Merge branch 'master' of A. Madore1-5/+5