From 2147acd780ca4586a4fd7b045eb92611cdbb13a0 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 7 Jul 2022 17:53:24 +0100
Subject: Prove alpha equivalence preserves free variables.

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

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
index a2b808f..96119c6 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -2,4 +2,7 @@
 module Everything where
 
 import Data.BinOp
+import Data.List.Properties.Ext
 import Data.Type
+import Data.Type.Properties
+import Data.Util
-- 
cgit v1.2.3