pisigma-0.2.1: A dependently typed core language
Language.PiSigma.Util.String.Internal
type String = TextSource
append :: String -> String -> StringSource
concat :: [String] -> StringSource
fromString :: String -> StringSource
isPrefixOf :: String -> String -> BoolSource
null :: String -> BoolSource
putStrLn :: String -> IO ()Source
toString :: String -> StringSource