diff options
| author | David A. Madore <david+git@madore.org> | 2023-11-24 11:15:07 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-11-24 11:15:07 +0100 |
| commit | 9587f8530a6eeb37bb81f530dbc0848162eaf11b (patch) | |
| tree | 3bb0a198c37c1077b147b6f04c1488d6b9edd931 /images | |
| parent | a87205976c42d3158f95592967cd4b61b4884168 (diff) | |
| download | inf110-lfi-9587f8530a6eeb37bb81f530dbc0848162eaf11b.tar.gz inf110-lfi-9587f8530a6eeb37bb81f530dbc0848162eaf11b.tar.bz2 inf110-lfi-9587f8530a6eeb37bb81f530dbc0848162eaf11b.zip | |
A (humorous) graphical representation of the Curry-Howard correspondence.
Diffstat (limited to 'images')
| -rw-r--r-- | images/sean-connery-in-name-of-the-rose.jpg | bin | 0 -> 40619 bytes |
| -rw-r--r-- | images/sean-connery-in-zardoz.jpg | bin | 0 -> 60245 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/images/sean-connery-in-name-of-the-rose.jpg b/images/sean-connery-in-name-of-the-rose.jpg Binary files differnew file mode 100644 index 0000000..2f24fdb --- /dev/null +++ b/images/sean-connery-in-name-of-the-rose.jpg diff --git a/images/sean-connery-in-zardoz.jpg b/images/sean-connery-in-zardoz.jpg Binary files differnew file mode 100644 index 0000000..e3d81fb --- /dev/null +++ b/images/sean-connery-in-zardoz.jpg |
