summaryrefslogtreecommitdiffstats
path: root/images
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-03 20:09:02 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-03 20:09:02 +0100
commiteaabdd70099d7dfb0c72bc566b6d51515de30668 (patch)
tree68c23213d5e23f7adc305f7fc6594a0055cac12d /images
parentf1df8ae273381697fd7b56ca68d1cfa7a48aafe4 (diff)
downloadinf110-lfi-eaabdd70099d7dfb0c72bc566b6d51515de30668.tar.gz
inf110-lfi-eaabdd70099d7dfb0c72bc566b6d51515de30668.tar.bz2
inf110-lfi-eaabdd70099d7dfb0c72bc566b6d51515de30668.zip
Curry-Howard correspondence for disjunction.
Diffstat (limited to 'images')
0 files changed, 0 insertions, 0 deletions