From 9587f8530a6eeb37bb81f530dbc0848162eaf11b Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Fri, 24 Nov 2023 11:15:07 +0100 Subject: A (humorous) graphical representation of the Curry-Howard correspondence. --- images/sean-connery-in-name-of-the-rose.jpg | Bin 0 -> 40619 bytes images/sean-connery-in-zardoz.jpg | Bin 0 -> 60245 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 images/sean-connery-in-name-of-the-rose.jpg create mode 100644 images/sean-connery-in-zardoz.jpg (limited to 'images') diff --git a/images/sean-connery-in-name-of-the-rose.jpg b/images/sean-connery-in-name-of-the-rose.jpg new file mode 100644 index 0000000..2f24fdb Binary files /dev/null and b/images/sean-connery-in-name-of-the-rose.jpg differ diff --git a/images/sean-connery-in-zardoz.jpg b/images/sean-connery-in-zardoz.jpg new file mode 100644 index 0000000..e3d81fb Binary files /dev/null and b/images/sean-connery-in-zardoz.jpg differ -- cgit v1.2.3