From 4b2c62a7f07391645d71291c29715404ec619f02 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Wed, 14 Aug 2024 19:06:23 +0100
Subject: Define kinds and monotypes.

---
 inky.ipkg | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index 39a75c3..ceec164 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -4,8 +4,13 @@ sourcedir = "src"
 
 options = "--total"
 
+depends = contrib
+
 modules
   = Inky.Binding
   , Inky.Env
   , Inky.Erased
+  , Inky.Kind
   , Inky.Kit
+  , Inky.OnlyWhen
+  , Inky.Type
-- 
cgit v1.2.3