diff options
Diffstat (limited to 'chad-fast.cabal')
| -rw-r--r-- | chad-fast.cabal | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/chad-fast.cabal b/chad-fast.cabal index 0c9170c..290329b 100644 --- a/chad-fast.cabal +++ b/chad-fast.cabal @@ -22,7 +22,6 @@ library Example Language Language.AST - Language.Tag Lemmas -- PreludeCu Simplify |