Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
prettyUnnamedKind :: LCKind -> Text Source #
prettyUnnamedType :: LCType -> Text Source #
prettyUnnamedTerm :: LCTerm -> Text Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
prettyUnnamedKind :: LCKind -> Text Source #
prettyUnnamedType :: LCType -> Text Source #
prettyUnnamedTerm :: LCTerm -> Text Source #