summaryrefslogtreecommitdiff
path: root/vikalpa
ModeNameSize
-rw-r--r--the-little-prover.scm4600logplainabout