From 6ce6cf4580f2c0ab4c7c4ec56f438c1cc184c7cd Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 12 Nov 2024 18:05:25 +0000
Subject: Add more names. Names are good.

---
 inky.ipkg | 1 -
 1 file changed, 1 deletion(-)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index ec81709..2427565 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -15,7 +15,6 @@ modules
   , Inky.Data.Context
   , Inky.Data.Context.Var
   , Inky.Data.Fun
-  , Inky.Data.Irrelevant
   , Inky.Data.List
   , Inky.Data.Row
   , Inky.Data.SnocList
-- 
cgit v1.2.3