GetCF
Documentation
tryReadCFP :: FilePath -> IO (CFP, Bool)
writeFileRep :: FilePath -> String -> IO ()
separatorRules :: MinimumSize -> Cat -> String -> [Rule]
terminatorRules :: MinimumSize -> Cat -> String -> [Rule]
coercionRules :: Ident -> Integer -> [Rule]
transLabel :: Label -> (Fun, Prof)
transIdent :: Ident -> String