0.2.0

runzk*,修复conde,unify.rkt

0.1.3

unify.rkt,runzk

0.1.2

=/=

0.1.1

fail

0.1.0

recursive

(define-relation (r) (all succeed (r)))
(sizedstream->list (runzk (r))) ;; => '(())

0.0.3

...

0.0.2

=/=

0.0.1

==