diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-08 08:11:26 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-08 08:11:26 +0900 |
commit | 51b6399599676a5c1a9c6cb27be88a1381f7af8a (patch) | |
tree | 2dc8c99dc7f053595f198a225ab700f59d168054 /rabbit-prover.scm | |
parent | cd7427e42b773bc787a00c12d8f7bff569bd9d85 (diff) |
wip9
Diffstat (limited to 'rabbit-prover.scm')
-rw-r--r-- | rabbit-prover.scm | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/rabbit-prover.scm b/rabbit-prover.scm index b5e7fbc..e83ea9a 100644 --- a/rabbit-prover.scm +++ b/rabbit-prover.scm @@ -231,9 +231,7 @@ (cdr expression))))) (define (apply-primitive-function pf expression) - (if (match-primitive-function pf expression) - (apply (primitive-function-proc pf) (cdr expression)) - expression)) + (apply (primitive-function-proc pf) (cdr expression))) (define (function? x) (and (list? x) @@ -719,7 +717,6 @@ ((or x . xs) (if x x (or . xs)))) (define-macro atom? () ((atom? x) (not (pair? x)))) - (define-axiom if-not (x y z) (equal? (if (not x) y |