summaryrefslogtreecommitdiffstats
path: root/images/sean-connery-in-zardoz.jpg
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2024-01-07 19:11:26 +0100
committerDavid A. Madore <david+git@madore.org>2024-01-07 19:11:26 +0100
commite5dbc019a4f4083087cf3a81ab7a1024a08fbf90 (patch)
tree0d173418b083c0dd8c16e51970af84758efc010d /images/sean-connery-in-zardoz.jpg
parentdb8d9cf9b15d7aa59685152b5a0fb9a3bc99c0e6 (diff)
downloadinf110-lfi-e5dbc019a4f4083087cf3a81ab7a1024a08fbf90.tar.gz
inf110-lfi-e5dbc019a4f4083087cf3a81ab7a1024a08fbf90.tar.bz2
inf110-lfi-e5dbc019a4f4083087cf3a81ab7a1024a08fbf90.zip
Slightly rework slide on \exists versus sum types.
Diffstat (limited to 'images/sean-connery-in-zardoz.jpg')
0 files changed, 0 insertions, 0 deletions