diff options
| -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 |