summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-17 18:54:50 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-17 18:54:50 +0100
commitab329f963a8666cec7ebfd7dffd9ae16e4bcd1f2 (patch)
treece6307a6bcd8257616ac655cca2f89bd1ce7f33b /vc
parent918ca74533ba12e060894a956c68df1247901b12 (diff)
downloadinf110-lfi-ab329f963a8666cec7ebfd7dffd9ae16e4bcd1f2.tar.gz
inf110-lfi-ab329f963a8666cec7ebfd7dffd9ae16e4bcd1f2.tar.bz2
inf110-lfi-ab329f963a8666cec7ebfd7dffd9ae16e4bcd1f2.zip
Start talking about first-order logic.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions