S09
Contents
Synopsis
alphaEq :: String -> Term -> Term -> BoolSource
showTerm :: Term -> StringSource
eval :: Exp -> IntegerSource
uibkMail :: String -> Maybe (String, String)Source
fromHex :: String -> Maybe IntSource