Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | Missing bit in rule. | David A. Madore | 10 months | |
Age | Commit message | Author | Files | Lines |
2024-01-26 | Missing bit in rule.HEADmaster | David A. Madore | 1 | -2/+2 |
2024-01-26 | Merge branch 'exam-20240126' | David A. Madore | 1 | -0/+1229 |
2024-01-24 | Add various missing bits to answer key. | David A. Madore | 1 | -6/+120 |
2024-01-24 | Exercise had already been explained during course. Change it. | David A. Madore | 1 | -10/+9 |
2024-01-24 | Make changes suggested by TZ. | David A. Madore | 1 | -21/+50 |
2024-01-23 | An exercise on Hindley-Milner type inference. | David A. Madore | 1 | -0/+105 |
2024-01-22 | Fill in number of pages and indication of grading. | David A. Madore | 1 | -3/+4 |
2024-01-22 | Second pass of proofreading. | David A. Madore | 1 | -124/+133 |
2024-01-22 | First pass of proofreading. | David A. Madore | 1 | -112/+145 |
2024-01-22 | A simple exercise about Coq. | David A. Madore | 1 | -0/+62 |
[...] | ||||
Clone | ||||
git://git.madore.org/teach/inf110-lfi.git | ||||
http://git.madore.org/git/teach/inf110-lfi.git |