diff options
Diffstat (limited to 'examples/the-little-prover.scm')
-rw-r--r-- | examples/the-little-prover.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/the-little-prover.scm b/examples/the-little-prover.scm new file mode 100644 index 0000000..0a0303e --- /dev/null +++ b/examples/the-little-prover.scm @@ -0,0 +1,5 @@ +(use-modules (vikalpa) + (vikalpa the-little-prover)) + +(define-system the-little-prover-0 (the-little-prover) + ) |