teach/inf110-lfi.git/images, branch master

teach/inf110-lfi.git/images, branch master INF110 (logique et fondements de l'informatique) http://git.madore.org/cgit/teach/inf110-lfi.git/atom?h=master 2023-11-24T10:15:07+00:00 A (humorous) graphical representation of the Curry-Howard correspondence. 2023-11-24T10:15:07+00:00 David A. Madore david+git@madore.org 2023-11-24T10:15:07+00:00 urn:sha1:9587f8530a6eeb37bb81f530dbc0848162eaf11b