typing rules in documentation

[proglang.git] / Typecheck.hs

diff --git a/Typecheck.hs b/Typecheck.hs
index 770c079e4bf73259e4a77d36cabc4aaccb310c1e..6f65d6e2f538d18d554787225c4aa138918a586f 100644 (file)
--- a/Typecheck.hs
+++ b/Typecheck.hs
@@ -1,5 +1,6 @@
 module Typecheck (typeCheckExp, typeCheckStm, typeCheckVar) where 
 
+
 import Abssyntax
 import Control.Monad.State
 import Data.Map as Map