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