diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-09-06 10:55:12 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-09-06 10:55:46 +0200 |
| commit | 0f94ac819d664b0c1f8feaf567648a3724b5eadb (patch) | |
| tree | f4595bc2770b7c7423fe01e23a3d6842f580ce0b /chad-fast.cabal | |
| parent | 393592e7c180415c8e4c45523c0cf0904fa7b7c1 (diff) | |
Named source language
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 |