diff options
author | David A. Madore <david+git@madore.org> | 2023-12-19 10:18:59 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2023-12-19 10:18:59 +0100 |
commit | 209d70fc8229cbb320c39489111c5ece8801d5e6 (patch) | |
tree | dd26e839445d0ed1dde4e317703adfea39924f88 /images | |
parent | 3a30427b2c8696e8a2e19a34bb9dde4f8e2ea865 (diff) | |
download | inf110-lfi-209d70fc8229cbb320c39489111c5ece8801d5e6.tar.gz inf110-lfi-209d70fc8229cbb320c39489111c5ece8801d5e6.tar.bz2 inf110-lfi-209d70fc8229cbb320c39489111c5ece8801d5e6.zip |
Add a slide on impredicativity.
Diffstat (limited to 'images')
0 files changed, 0 insertions, 0 deletions