From 025d51a54e3b1ed50caa48e3799d84270c5adf70 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Tue, 24 Nov 2020 18:12:32 +0900 Subject: wip34 --- examples/the-little-prover.scm | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'examples') 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) -- cgit v1.2.3