updates

donaldsonjw · Jun 28, 2017 · 93eff30 · 93eff30
1 parent 93d0a0b
commit 93eff30
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/recette/testnumbers.scm b/recette/testnumbers.scm
@@ -56,5 +56,10 @@
     ((1 1) (0 0 0 1) (0 0 0 1 1))
     ((0 1 1) (0 0 1) (0 0 0 1 1))
     ((0 0 1 1) (0 1) (0 0 0 1 1)))
+
+(write (run* (q)
+    (fresh (x y)
+      (*o x y (build-num 496))
+      (== `(,x ,y ,(build-num 496)) q))))  
 )
 ; the end