stdlib - 0.0.1

Stdlib.Data.String.Base

Description

Definitions

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".