summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterMinor clarifications about computability and universality.David A. Madore5 days
 
TagDownloadAuthorAge
printed-2018printed-2018.zip  printed-2018.tar.gz  printed-2018.tar.bz2  David A. Madore4 months
exam-20180206exam-20180206.zip  exam-20180206.tar.gz  exam-20180206.tar.bz2  David A. Madore12 months
printed-2017printed-2017.zip  printed-2017.tar.gz  printed-2017.tar.bz2  David A. Madore14 months
exam-20170207exam-20170207.zip  exam-20170207.tar.gz  exam-20170207.tar.bz2  David A. Madore23 months
broken-masterbroken-master.zip  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 git.madore.org:teach/inf105David A. Madore1-5/+5
[...]
 
Clone
git://git.madore.org/teach/inf105.git
http://git.madore.org/git/teach/inf105.git