Documentation

bugaddr :: [Char]Source

delab :: IState -> Term -> PTermSource

delabTy :: IState -> Name -> PTermSource

delab' :: IState -> Term -> Bool -> PTermSource

delabTy'Source

indented :: String -> [Char]Source

pshow :: IState -> Err -> StringSource

showSc :: IState -> [(Name, Term)] -> [Char]Source

showqual :: IState -> Name -> StringSource

showbasic :: Name -> StringSource