diff --git a/main.rkt b/main.rkt
new file mode 100644
index 0000000..1817d1d
--- /dev/null
+++ b/main.rkt
@@ -0,0 +1,11 @@
+#lang typed/racket/base
+
+(provide
+  (all-from-out trivial/format)
+  (all-from-out trivial/math)
+  (all-from-out trivial/regexp))
+
+(require
+  trivial/format
+  trivial/math
+  trivial/regexp)