more work on HM interpreter

[fp.git] / src / HM / Lambda.hs

diff --git a/src/HM/Lambda.hs b/src/HM/Lambda.hs
new file mode 100644 (file)
index 0000000..e85041c
--- /dev/null
+++ b/src/HM/Lambda.hs
@@ -0,0 +1,15 @@
+module HM.Lambda where
+
+import Control.Monad.State
+import Data.Map as M
+
+import HM.Term
+
+type Env = M.Map VarName Term
+type LI a = State Env a
+
+stripType :: TypedTerm -> Term
+stripType (NTTerm t) = t
+stripType (TTerm t _) = t
+
+