diff options
Diffstat (limited to 'chad-fast.cabal')
| -rw-r--r-- | chad-fast.cabal | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/chad-fast.cabal b/chad-fast.cabal index 6635f6c..63479bb 100644 --- a/chad-fast.cabal +++ b/chad-fast.cabal @@ -10,6 +10,7 @@ build-type: Simple library exposed-modules: + Analysis.Identity Array AST AST.Bindings @@ -43,6 +44,7 @@ library Lemmas -- PreludeCu Simplify + Util.IdGen other-modules: build-depends: base >= 4.19 && < 4.21, |