From 974717f0aa46bb295d44e239594b38f63f39ceab Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 17 Sep 2024 17:09:41 +0100
Subject: Introduce names in contexts.

Introduce rows for n-ary sums and products.

Remove union types.
---
 inky.ipkg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index 22902e4..b3d274f 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -9,6 +9,7 @@ depends = contrib
 modules
   = Data.Maybe.Decidable
   , Data.These.Decidable
+  , Inky.Context
   , Inky.Parser
   , Inky.Term
   , Inky.Term.Pretty
-- 
cgit v1.2.3