summaryrefslogtreecommitdiffstats
path: root/images
Commit message (Collapse)AuthorAgeFilesLines
* A (humorous) graphical representation of the Curry-Howard correspondence.David A. Madore2023-11-242-0/+0