| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Missing bit in rule. | David A. Madore | 3 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 | ||||
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |