From 3a23bd851fc1a5d6e161dabc8a13f06bc8544a1d Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Mon, 9 Sep 2024 11:33:45 +0100
Subject: Restart.

- use De Bruijn, as Namely, Painless had more pain than promised;
- remove higher-kinded types;
- provide ill-typing predicates;
- prove substitution respects ill-typing;
---
 inky.ipkg | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index ceec164..43e6e51 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -7,10 +7,6 @@ options = "--total"
 depends = contrib
 
 modules
-  = Inky.Binding
-  , Inky.Env
-  , Inky.Erased
-  , Inky.Kind
-  , Inky.Kit
-  , Inky.OnlyWhen
+  = Data.These.Decidable
+  , Inky.Thinning
   , Inky.Type
-- 
cgit v1.2.3