Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
substituteNormalInNormal :: LCNormalTerm -> Int -> LCNormalTerm -> LCNormalTerm Source #
substituteTypeInNormal :: LCType -> Int -> LCNormalTerm -> LCNormalTerm Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
substituteNormalInNormal :: LCNormalTerm -> Int -> LCNormalTerm -> LCNormalTerm Source #
substituteTypeInNormal :: LCType -> Int -> LCNormalTerm -> LCNormalTerm Source #