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;

1 files changed, 2 insertions, 6 deletions

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