From b29c56e0aef4ea881b565d30be2890d3ab7e2521 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Thu, 9 Sep 2021 23:53:37 +0200
Subject: [PATCH] fixup! fix import in main

---
 src/Quox/Syntax.idr | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/Quox/Syntax.idr

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