diff options
| author | David A. Madore <david+git@madore.org> | 2023-12-04 13:06:16 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-12-04 13:06:16 +0100 |
| commit | e792e2a0ff1c0431ec214fdaf72c365765afe3f5 (patch) | |
| tree | a500e821d5fb55060565368b80e198cfa0b24565 /exercices-inf110.tex | |
| parent | 9709577b7abd152965aef9f17a7aa0cc27661a6d (diff) | |
| download | inf110-lfi-e792e2a0ff1c0431ec214fdaf72c365765afe3f5.tar.gz inf110-lfi-e792e2a0ff1c0431ec214fdaf72c365765afe3f5.tar.bz2 inf110-lfi-e792e2a0ff1c0431ec214fdaf72c365765afe3f5.zip | |
A start of polymorphism, and substitution for type/prop variables.
Diffstat (limited to 'exercices-inf110.tex')
0 files changed, 0 insertions, 0 deletions