module Stdlib.Data.String.Base; import Juvix.Builtin.V1.String open public; import Stdlib.Data.List.Base open; import Stdlib.Function open; import Stdlib.Data.Fixity open; --- Concatenates a ;List; of ;String;s. concatStr (string : List String) : String := listFoldl (++str) "" string; --- Joins a ;List; of ;String;s with "\n". unlines (list : List String) : String := concatStr (intersperse "\n" list);