tip-lib-0.2.2: tons of inductive problems - support library and tools
Tip.Pretty.Waldmeister
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