From e83d85eb08a370f3943294f21a4c27cd3b12ad09 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom.smeding@gmail.com>
Date: Wed, 24 Apr 2019 21:57:27 +0200
Subject: Start working on a type checker

---
 verify-hs.cabal | 1 +
 1 file changed, 1 insertion(+)

(limited to 'verify-hs.cabal')

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:
-- 
cgit v1.2.3-70-g09d2