diff --git a/src/Quox/Syntax.idr b/src/Quox/Syntax.idr
new file mode 100644
index 0000000..505f9b0
--- /dev/null
+++ b/src/Quox/Syntax.idr
@@ -0,0 +1,9 @@
+module Quox.Syntax
+
+import public Quox.Syntax.Dim
+import public Quox.Syntax.Qty
+import public Quox.Syntax.Shift
+import public Quox.Syntax.Subst
+import public Quox.Syntax.Term
+import public Quox.Syntax.Universe
+import public Quox.Syntax.Var