LambdaCube.STLC.PrettyPrinter
Description
prettyUnnamedType :: LCType -> Text Source #
prettyUnnamedTerm :: LCTerm -> Text Source #
prettyUnnamedTypePrec :: Int -> LCType -> Text Source #
prettyUnnamedTermPrec :: Int -> LCTerm -> Text Source #