diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-04-29 15:56:39 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-04-29 15:57:17 +0200 |
| commit | a1074fc851afcb6e858285ab9c6585b042ac1782 (patch) | |
| tree | 8c40b943ee05134d79d418d23949a965eab1deae /chad-fast.cabal | |
| parent | 6899e81e8e1fc7fad32515eb0d40465407c7cf87 (diff) | |
Tracing simplifier
Diffstat (limited to 'chad-fast.cabal')
| -rw-r--r-- | chad-fast.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/chad-fast.cabal b/chad-fast.cabal index 1aadc6b..b0ed639 100644 --- a/chad-fast.cabal +++ b/chad-fast.cabal @@ -46,6 +46,7 @@ library Language.AST Lemmas Simplify + Simplify.TH Util.IdGen other-modules: build-depends: @@ -53,10 +54,10 @@ library containers, deepseq, directory, - -- template-haskell, prettyprinter, process, some, + template-haskell, transformers, unix, vector, |