diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-01-20 16:51:22 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-01-20 16:51:22 +0100 |
| commit | 0bdc36d221703e5a2347d3d136d676a86bdb1b6a (patch) | |
| tree | 2ebecd0669573a2dd9634ea43753e91bcce4181c /chad-fast.cabal | |
| parent | 27e5422c541623fbee36f2eedf37bb3d2ca3d14c (diff) | |
WIP identity analysis
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, |