summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-11-15 13:57:21 +0100
committerDavid A. Madore <david+git@madore.org>2023-11-15 13:57:21 +0100
commit7e630cae17fbd8c7f3c056baab54a944bd1c8520 (patch)
treed9977f68746a9101486a6c661022a991d441cdfe /vc
parent488414f2691ce8173032316d69060e8f37f9a962 (diff)
downloadinf110-lfi-7e630cae17fbd8c7f3c056baab54a944bd1c8520.tar.gz
inf110-lfi-7e630cae17fbd8c7f3c056baab54a944bd1c8520.tar.bz2
inf110-lfi-7e630cae17fbd8c7f3c056baab54a944bd1c8520.zip
Type systems for logic.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions