From 3caa95a139538bb07c74847ca3aba2603a03c502 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Fri, 15 Nov 2024 15:44:30 +0000
Subject: Add compilation to scheme.

Extract parser as an independent project.
---
 inky.ipkg | 18 ++++--------------
 1 file changed, 4 insertions(+), 14 deletions(-)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index 2427565..bbd7aaa 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -4,35 +4,25 @@ sourcedir = "src"
 
 options = "--total"
 
-depends = collie, contrib
+depends = collie, contrib, flap
 
 executable = inky
 main = Inky
 
 modules
   = Inky
-  , Inky.Data.Assoc
-  , Inky.Data.Context
-  , Inky.Data.Context.Var
   , Inky.Data.Fun
-  , Inky.Data.List
   , Inky.Data.Row
-  , Inky.Data.SnocList
-  , Inky.Data.SnocList.Elem
-  , Inky.Data.SnocList.Quantifiers
-  , Inky.Data.SnocList.Thinning
-  , Inky.Data.SnocList.Var
   , Inky.Data.Thinned
-  , Inky.Decidable
-  , Inky.Decidable.Either
-  , Inky.Decidable.Maybe
-  , Inky.Parser
   , Inky.Term
   , Inky.Term.Checks
+  , Inky.Term.Compile
   , Inky.Term.Desugar
   , Inky.Term.Parser
   , Inky.Term.Pretty
   , Inky.Term.Pretty.Error
+  , Inky.Term.Recompute
   , Inky.Term.Substitution
   , Inky.Type
   , Inky.Type.Pretty
+  , Inky.Type.Substitution
-- 
cgit v1.2.3