diff options
author | David A. Madore <david+git@madore.org> | 2023-12-14 15:12:26 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2023-12-14 15:12:26 +0100 |
commit | 90252bf926e8a6727ba1dfd5a3d22167b49f4d20 (patch) | |
tree | 6d6a22d25cfdf6e9eacad08fdcd149dc40340bf4 /vc | |
parent | 6901d599346dea164b4f9065c6829bf937d6bd08 (diff) | |
download | inf110-lfi-90252bf926e8a6727ba1dfd5a3d22167b49f4d20.tar.gz inf110-lfi-90252bf926e8a6727ba1dfd5a3d22167b49f4d20.tar.bz2 inf110-lfi-90252bf926e8a6727ba1dfd5a3d22167b49f4d20.zip |
Truth-table semantics.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions