remains to fix the buggy <=>

parent f88ad9fa
......@@ -88,7 +88,6 @@
(define gpnull gp-null?)
(define (gp-null? x s)
(if (gpnull x) s #f))
(define gppair! gp-pair!?)
(define (gp-pair!? x s)
(if (gppair! x) s #f))
......
......@@ -1345,7 +1345,7 @@
(addero 0 '(1) m r))
((<=> ('(1) '(1)) (n m))
(<var> (a c)
(<=> (a c) r)
(<=> r ,`(,a ,c))
(full-addero d 1 1 a c)))
((<=> '(1) n)
(gen-addero d n m r))
......@@ -1429,7 +1429,7 @@
((<=> '() n) (<=> '() p))
((poso n) (<=> '() m) (<=> '() p))
((<=> '(1) n) (poso m) (<=> m p))
((>1o n) (<=> '(1) m) (<=> n p))
((>1o n) (<=> '(1) m) (<=> n p))
((<var> (x z)
(<=> (0 . x) n) (poso x)
(<=> (0 . z) p) (poso z)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment