diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2019-04-24 21:57:27 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2019-04-24 21:57:27 +0200 |
| commit | e83d85eb08a370f3943294f21a4c27cd3b12ad09 (patch) | |
| tree | 14d600ce00b99942033e44f5160e5cef169471e9 /verify-hs.cabal | |
| parent | 8a3653d8f30f7d0f79556f464ea781472a931b2e (diff) | |
Start working on a type checkertypes
Diffstat (limited to 'verify-hs.cabal')
| -rw-r--r-- | verify-hs.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/verify-hs.cabal b/verify-hs.cabal index 68dec3d..08c69fb 100644 --- a/verify-hs.cabal +++ b/verify-hs.cabal @@ -18,6 +18,7 @@ executable verify-hs Haskell.Env.Context Haskell.Parser Haskell.Rewrite + Haskell.TypeCheck Pretty Util build-depends: |