more work on HM interpreter

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

diff --git a/src/HM/Interpreter.hs b/src/HM/Interpreter.hs
index 90f5595..17e1e96 100644 (file)
--- a/src/HM/Interpreter.hs
+++ b/src/HM/Interpreter.hs
@@ -16,8 +16,6 @@ import HM
 import HM.Term
 import HM.Parser
 
-import qualified Lambda as L
-
 data Definition = Definition String TypedTerm
 
 dictionary :: [Definition] -> M.Map VarName TypedTerm