tip-lib-0.2.2: tons of inductive problems - support library and tools

Safe HaskellNone
LanguageHaskell2010

Tip.Pretty.Waldmeister

Documentation

validChar :: Char -> String Source

ppTheory :: (Ord a, PrettyVar a) => Theory a -> Doc Source

ppType :: (Ord a, PrettyVar a) => Type a -> Doc Source

ppSig :: (Ord a, PrettyVar a) => Signature a -> Doc Source

ppFormula :: (Ord a, PrettyVar a) => Formula a -> Doc Source

ppExpr :: (Ord a, PrettyVar a) => Expr a -> Doc Source

ppHead :: (Ord a, PrettyVar a) => Head a -> Doc Source

keywords :: [String] Source