diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-24 18:12:32 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-24 23:11:52 +0900 |
| commit | 025d51a54e3b1ed50caa48e3799d84270c5adf70 (patch) | |
| tree | c0f0bc99fcc39e1db6425a3e477a2ec7c75e595d /examples | |
| parent | 75c3a638f6ebf43adf89c8ff54372c89df084398 (diff) | |
wip34
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/the-little-prover.scm | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/examples/the-little-prover.scm b/examples/the-little-prover.scm index 6a919a8..3d0329f 100644 --- a/examples/the-little-prover.scm +++ b/examples/the-little-prover.scm @@ -46,10 +46,7 @@ ((3 2 1) list-length) ((3 2 1) if-nest-E) ((3) if-same (set x (natural? (succ '0)))) - ((3 2 2) natural?/+ - ;; ルール探索アルゴリズムにバグがある - (set x (succ '0)) - (set y (list-length (cdr xs)))) + ((3 2 2) natural?/+) ((3 2) if-same) ((3 1) natural?/1) ((3) if-true) |