More exports

2014-05-14 00:02:52 -04:00 · 2014-05-14 00:02:52 -04:00 · 869f287e4b
parent 63010dc1db
commit 869f287e4b
1 changed files with 5 additions and 0 deletions
--- a/minimart/core.rkt
+++ b/minimart/core.rkt
@ -19,14 +19,19 @@
 	 wildcard?
 	 ?!
 	 capture?
+	 pretty-print-matcher

 	 sub
 	 pub
+	 gestalt-empty
 	 gestalt-union
+	 gestalt-intersect
+	 gestalt-empty?
 	 gestalt-ref
 	 compile-gestalt-projection
 	 gestalt-project
 	 gestalt-project->finite-set
+	 pretty-print-gestalt

 	 spawn
 	 send