Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make changes suggested by TZ. | David A. Madore | 2024-01-24 | 1 | -21/+50 |
* | Fill in number of pages and indication of grading. | David A. Madore | 2024-01-22 | 1 | -3/+4 |
* | Second pass of proofreading. | David A. Madore | 2024-01-22 | 1 | -124/+133 |
* | First pass of proofreading. | David A. Madore | 2024-01-22 | 1 | -112/+145 |
* | A simple exercise about Coq. | David A. Madore | 2024-01-22 | 1 | -0/+62 |
* | An exercise on Gödel's theorem. | David A. Madore | 2024-01-22 | 1 | -0/+79 |
* | An exercise on Hindley-Milner. | David A. Madore | 2024-01-22 | 1 | -0/+63 |
* | Improve that last exercise. | David A. Madore | 2024-01-22 | 1 | -3/+25 |
* | An exercise on simple reading of lambda-terms. | David A. Madore | 2024-01-22 | 1 | -0/+48 |
* | An exercise on semantics. | David A. Madore | 2024-01-22 | 1 | -0/+145 |
* | First version of test for 2024-01-26. | David A. Madore | 2024-01-22 | 1 | -0/+625 |