From 402d28014e1e95c1fa8706c3648519a89a9e0e0f Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 5 Sep 2024 21:56:07 +0200 Subject: A simple embedded frontend --- chad-fast.cabal | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'chad-fast.cabal') diff --git a/chad-fast.cabal b/chad-fast.cabal index 1bff84b..0c9170c 100644 --- a/chad-fast.cabal +++ b/chad-fast.cabal @@ -20,14 +20,17 @@ library -- Compile Data Example + Language + Language.AST + Language.Tag Lemmas - PreludeCu + -- PreludeCu Simplify other-modules: build-depends: base >= 4.19 && < 4.21, containers, - template-haskell, + -- template-haskell, transformers, hs-source-dirs: src -- cgit v1.2.3-70-g09d2