summaryrefslogtreecommitdiff
path: root/tests/test-vikalpa-equal-t-nil.scm
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-17 00:10:10 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-17 00:10:10 +0900
commit6b67bd98ccc75e1a32b99d6be1d793ca26f6c9ff (patch)
tree2b3e816924d3e184679566dbc99550162f2ae354 /tests/test-vikalpa-equal-t-nil.scm
parent73b00d3ec489f720417c4eb342d32e87293165be (diff)
Add (vikalpa the-little-prover).
* vikalpa/the-little-prover.scm: New file. * Makefile.am (SOURCES): Add vikalpa/the-little-prover.scm.
Diffstat (limited to 'tests/test-vikalpa-equal-t-nil.scm')
0 files changed, 0 insertions, 0 deletions