diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-03-10 18:26:30 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-03-10 18:26:30 +0100 |
| commit | 48d6f83c36f55471ba66281e6d9b272fb4b336f2 (patch) | |
| tree | 0d605ad7140861e30af21c7489d5ea4957ef1c50 /verify-hs.cabal | |
| parent | 34d9f21c6ab529e415f38a5a886b1b612bcbd3bc (diff) | |
Enough to prove functoriality of Parser
Diffstat (limited to 'verify-hs.cabal')
| -rw-r--r-- | verify-hs.cabal | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/verify-hs.cabal b/verify-hs.cabal index 0a1aa2c..ec92482 100644 --- a/verify-hs.cabal +++ b/verify-hs.cabal @@ -16,6 +16,7 @@ executable verify-hs Haskell.Env Haskell.Parser Haskell.Parser.Def + Haskell.Rewrite Haskell.SimpleParser build-depends: base >=4.12 && <4.13, @@ -29,3 +30,4 @@ executable verify-hs default-language: Haskell2010 default-extensions: LambdaCase + TupleSections |