diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-07 15:06:03 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-16 23:33:16 +0900 |
| commit | 6f7d68bed5e0097257f1b36289f8af3b7efaa4ae (patch) | |
| tree | c228a3581bd531fe7fa95de35ff10d4508e44d78 /examples/the-little-prover.scm | |
| parent | 30aa68089dc2f353a6c17e1ea83c61dd2b06aede (diff) | |
wipdevelop
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) + ) |