diff --git a/iniquity-plus/compile.rkt b/iniquity-plus/compile.rkt
index 53da62f..413a577 100644
--- a/iniquity-plus/compile.rkt
+++ b/iniquity-plus/compile.rkt
@@ -1,5 +1,9 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile
+         compile-e
+         compile-es
+         compile-define)
+
 (require "ast.rkt")
 (require "compile-ops.rkt")
 (require "types.rkt")
diff --git a/knock-plus/compile.rkt b/knock-plus/compile.rkt
index 355f861..697bd4f 100644
--- a/knock-plus/compile.rkt
+++ b/knock-plus/compile.rkt
@@ -1,5 +1,10 @@
 #lang racket
-(provide (all-defined-out))
+(provide compile
+         compile-e
+         compile-es
+         compile-define
+         compile-match)
+
 (require "ast.rkt")
 (require "compile-ops.rkt")
 (require "types.rkt")