From 7e0169f7b6b9cb4c4323c320982c93e622999943 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 26 Feb 2024 13:19:53 +0000
Subject: WIP: concrete families

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

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
index 03e3ccd..7fcdb94 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -1,7 +1,7 @@
 module Everything where
 
-import CBPV.Axiom
-import CBPV.Equality
+import CBPV.Context
 import CBPV.Family
-import CBPV.Term
+import CBPV.Frex.Comp
+import CBPV.Structure
 import CBPV.Type
-- 
cgit v1.2.3