From 598d444c41db753e84dcaa920f484620cd375af7 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 5 Jul 2022 15:31:49 +0100
Subject: Define type.

---
 Everything.agda | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
index 0127e7e..a2b808f 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -2,3 +2,4 @@
 module Everything where
 
 import Data.BinOp
+import Data.Type
-- 
cgit v1.2.3