lambda-cube-0.2.0.0: Haskell implementation of (some of) lambda cube calculi
Safe HaskellNone
LanguageHaskell2010

LambdaCube.SystemFw.PrettyPrinter

Description

 

Documentation

prettyUnnamedKind :: LCKind -> Text Source #

prettyUnnamedType :: LCType -> Text Source #

prettyUnnamedTerm :: LCTerm -> Text Source #

prettyUnnamedKindPrec :: Int -> LCKind -> Text Source #

prettyUnnamedTypePrec :: Int -> LCType -> Text Source #

prettyUnnamedTermPrec :: Int -> LCTerm -> Text Source #