BranchCommit messageAuthorAge
masterMissing bit in rule.David A. Madore6 months
AgeCommit messageAuthorFilesLines
2024-01-26Missing bit in rule.HEADmasterDavid A. Madore1-2/+2
2024-01-26Merge branch 'exam-20240126'David A. Madore1-0/+1229
2024-01-24Add various missing bits to answer key.David A. Madore1-6/+120
2024-01-24Exercise had already been explained during course. Change it.David A. Madore1-10/+9
2024-01-24Make changes suggested by TZ.David A. Madore1-21/+50
2024-01-23An exercise on Hindley-Milner type inference.David A. Madore1-0/+105
2024-01-22Fill in number of pages and indication of grading.David A. Madore1-3/+4
2024-01-22Second pass of proofreading.David A. Madore1-124/+133
2024-01-22First pass of proofreading.David A. Madore1-112/+145
2024-01-22A simple exercise about Coq.David A. Madore1-0/+62