From 869f287e4b2d5b6b9f8b210f4913bae36531976d Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 14 May 2014 00:02:52 -0400 Subject: [PATCH] More exports --- minimart/core.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/minimart/core.rkt b/minimart/core.rkt index 49e39f1..e3e017c 100644 --- 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