PascalsTriangle - 0.1.0

Stdlib.Data.String.Base

Definitions

import Juvix.Builtin.V1.String open public

unlines (list : List String) : StringSource#

Joins a List of Strings with "\n".