diff options
Diffstat (limited to 'examples/the-little-prover.scm')
| -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) |