From e258c78a5ab9529242b4c8fa168eda85430e641e Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Mon, 28 Oct 2024 15:34:16 +0000
Subject: Make everything relevant.

Too few proofs were relevant. Now they are.
---
 inky.ipkg | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index 8a86c56..43010e3 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -10,14 +10,25 @@ executable = inky
 main = Inky
 
 modules
-  = Data.Maybe.Decidable
-  , Data.These.Decidable
-  , Inky
-  , Inky.Context
+  = Inky
+  , Inky.Data.Assoc
+  , Inky.Data.Context
+  , Inky.Data.Context.Var
+  , Inky.Data.Fun
+  , Inky.Data.Irrelevant
+  , Inky.Data.Row
+  , Inky.Data.SnocList
+  , Inky.Data.SnocList.Elem
+  , Inky.Data.SnocList.Quantifiers
+  , Inky.Data.SnocList.Thinning
+  , Inky.Data.SnocList.Var
+  , Inky.Data.Thinned
+  , Inky.Decidable
+  , Inky.Decidable.Either
+  , Inky.Decidable.Maybe
   , Inky.Parser
   , Inky.Term
   , Inky.Term.Parser
   , Inky.Term.Pretty
-  , Inky.Thinning
   , Inky.Type
   , Inky.Type.Pretty
-- 
cgit v1.2.3