diff options
author | David A. Madore <david+git@madore.org> | 2023-12-15 21:52:32 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2023-12-15 21:52:32 +0100 |
commit | 42391c43d4ae748d729df0def3f2002eab4590de (patch) | |
tree | 0f3f408a628f4f1c2a3e72be06735a0597d4be26 /images/sean-connery-in-name-of-the-rose.jpg | |
parent | b78097a7a90f975deae2747014a5bb75f0695ff1 (diff) | |
download | inf110-lfi-42391c43d4ae748d729df0def3f2002eab4590de.tar.gz inf110-lfi-42391c43d4ae748d729df0def3f2002eab4590de.tar.bz2 inf110-lfi-42391c43d4ae748d729df0def3f2002eab4590de.zip |
An exercise on Curry-Howard.
Diffstat (limited to 'images/sean-connery-in-name-of-the-rose.jpg')
0 files changed, 0 insertions, 0 deletions