summaryrefslogtreecommitdiffstats
path: root/controle-20240126.tex
Commit message (Collapse)AuthorAgeFilesLines
* An exercise on Hindley-Milner.David A. Madore2024-01-221-0/+63
|
* Improve that last exercise.David A. Madore2024-01-221-3/+25
|
* An exercise on simple reading of lambda-terms.David A. Madore2024-01-221-0/+48
|
* An exercise on semantics.David A. Madore2024-01-221-0/+145
|
* First version of test for 2024-01-26.David A. Madore2024-01-221-0/+625