summaryrefslogtreecommitdiffstats
path: root/exercices-inf110.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-03 21:31:29 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-03 21:31:29 +0100
commit84c0b48f9d1622acdb456e70c385481b67061a05 (patch)
tree21a05b9d5c045086fe99722308eeff5f662af55b /exercices-inf110.tex
parent791c6b3ecaf43c0857367db4feb58901337ae166 (diff)
downloadinf110-lfi-84c0b48f9d1622acdb456e70c385481b67061a05.tar.gz
inf110-lfi-84c0b48f9d1622acdb456e70c385481b67061a05.tar.bz2
inf110-lfi-84c0b48f9d1622acdb456e70c385481b67061a05.zip
Curry-Howard correspondence for true and false.
Diffstat (limited to 'exercices-inf110.tex')
0 files changed, 0 insertions, 0 deletions