Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
prettyUnnamedTerm :: LCTerm -> Text Source #
prettyShowUnnamedTerm :: LCTerm -> String Source #
prettyUnnamedType :: LCType -> Text Source #
prettyShowUnnamedType :: LCType -> String Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
prettyUnnamedTerm :: LCTerm -> Text Source #
prettyShowUnnamedTerm :: LCTerm -> String Source #
prettyUnnamedType :: LCType -> Text Source #
prettyShowUnnamedType :: LCType -> String Source #