From ecaf9deb4b1d2ce85617438e621690b2df3ea367 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 12 Nov 2024 16:44:31 +0000
Subject: Add ability to desugar terms.

Remove `getChildren` construct---it's too niche for the core language.
---
 inky.ipkg | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index 43010e3..ec81709 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -16,6 +16,7 @@ modules
   , Inky.Data.Context.Var
   , Inky.Data.Fun
   , Inky.Data.Irrelevant
+  , Inky.Data.List
   , Inky.Data.Row
   , Inky.Data.SnocList
   , Inky.Data.SnocList.Elem
@@ -28,7 +29,11 @@ modules
   , Inky.Decidable.Maybe
   , Inky.Parser
   , Inky.Term
+  , Inky.Term.Checks
+  , Inky.Term.Desugar
   , Inky.Term.Parser
   , Inky.Term.Pretty
+  , Inky.Term.Pretty.Error
+  , Inky.Term.Substitution
   , Inky.Type
   , Inky.Type.Pretty
-- 
cgit v1.2.3