Stdlib.Data.String.Base
Contents
import Juvix.Builtin.V1.String open public
concatStr : List String -> StringSource#
Concatenates a List of Strings.
unlines : List String -> StringSource#
Joins a List of Strings with "\n".
