summaryrefslogtreecommitdiff
path: root/inky.ipkg
diff options
context:
space:
mode:
authorGreg Brown <greg.brown01@ed.ac.uk>2024-11-12 18:05:25 +0000
committerGreg Brown <greg.brown01@ed.ac.uk>2024-11-12 18:05:25 +0000
commit6ce6cf4580f2c0ab4c7c4ec56f438c1cc184c7cd (patch)
treef1704be1e5adef266693429898408bfa4b320688 /inky.ipkg
parentecaf9deb4b1d2ce85617438e621690b2df3ea367 (diff)
Add more names. Names are good.
Diffstat (limited to 'inky.ipkg')
-rw-r--r--inky.ipkg1
1 files changed, 0 insertions, 1 deletions
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