README.md

the-language · Sep 2, 2017 · d0a7ca6 · d0a7ca6
1 parent 828f278
commit d0a7ca6
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -2,10 +2,8 @@ zKanren
 ========
 ```racket
 (require "zkanren.rkt")
-(sizedstream->list (runzk (fresh (x y z) (conde [(== x y)] [(=/= x y)]))))
-;; => '(((=/= ((<var:1> . <var:2>)))) ((== (<var:1> . <var:2>))))
 (define-relation (r) (all succeed (r)))
-(sizedstream->list (runzk (r))) ;; => '(())
+(sizedstream->list (runzk- (r))) ;; => '(())
 (define-relation (r2) (conde (succeed) ((r))))
-(sizedstream->list (runzk (all (r2) fail))) ;; => '()
+(sizedstream->list (runzk- (all (r2) fail))) ;; => '()
 ```