diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-01-24 21:31:24 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-01-24 21:31:24 +0100 |
| commit | 04ce88ce93523988ec1dc6775ac6a4b439e90913 (patch) | |
| tree | 14366c17e0cdc66f4b624cfcb641b1eeb1eed5f9 /chad-fast.cabal | |
| parent | b06fff729063aaf23500ba1c417520185a2cf7c0 (diff) | |
WIP rewrite code transform typing
Diffstat (limited to 'chad-fast.cabal')
| -rw-r--r-- | chad-fast.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chad-fast.cabal b/chad-fast.cabal index 27c5520..fb5f4de 100644 --- a/chad-fast.cabal +++ b/chad-fast.cabal @@ -17,6 +17,7 @@ library CHAD -- Compile Example + Lemmas PreludeCu Simplify other-modules: |