summaryrefslogtreecommitdiff
path: root/chad-fast.cabal
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-09-05 21:56:07 +0200
committerTom Smeding <tom@tomsmeding.com>2024-09-05 21:57:02 +0200
commit402d28014e1e95c1fa8706c3648519a89a9e0e0f (patch)
treedd8ebb50c9041054b5ecf8d687c234fe1a81e5bf /chad-fast.cabal
parent150236cd0a2ff3dd199b13fb47b3ab1955a00193 (diff)
A simple embedded frontend
Diffstat (limited to 'chad-fast.cabal')
-rw-r--r--chad-fast.cabal7
1 files changed, 5 insertions, 2 deletions
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