Added test file

parent a5f40877
(use-modules (logic guile-log))
(use-modules (logic guile-log umatch))
(<define> (f)
(<values> (i x) (<abort> 'tag (<lambda> (i x) (<cc> i x))))
(<pp> (gp-handlers-ref))
(<or-i>
(<or> (<=> x i) (<=> x ,(+ i i)))
(<or> (<=> x ,(- i)) (<=> x ,(- (+ i i))))))
(<define> (test x y)
(<prompt> 'tag #f f
(<lambda> (tag next kk)
(<let> ((k (kk)))
(<zip> (x (k 1 x))
(y (k 10 y)))))))
(<run> 10 (x y) (test x y))
\ No newline at end of file
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