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