lambda-cube-0.2.0.0: Haskell implementation of (some of) lambda cube calculi
Safe HaskellNone
LanguageHaskell2010

LambdaCube.STLC.Substitution

Documentation

substituteValue :: Int -> LCValue -> LCTerm -> LCTerm Source #

substituteNormalInNormal :: Int -> LCNormalTerm -> LCNormalTerm -> LCNormalTerm Source #

substituteNormalInNeutral :: Int -> LCNormalTerm -> LCNeutralTerm -> LCNormalTerm Source #