Stdlib.Data.String.Base
Contents
builtin string axiom String : TypeSource#
Primitive representation of a sequence of characters.
builtin string-concat axiom ++str : String -> String -> StringSource#
Concatenation of two Strings.
concatStr : List String -> StringSource#
Concatenates a List of Strings.
unlines : List String -> StringSource#
Joins a List of Strings with "\n".