src/HM/Lambda.hs

   1 module HM.Lambda where
   2
   3 import Control.Monad.State
   4 import Data.Map as M
   5
   6 import HM.Term
   7
   8 type Env = M.Map VarName Term
   9 type LI a = State Env a
  10
  11 stripType :: TypedTerm -> Term
  12 stripType (NTTerm t) = t
  13 stripType (TTerm t _) = t
  14
  15