Logic.Extra
Contents
Some generic helper definitions.
concat (list : List String) : StringSource#
Concatenates a list of strings concat (("a" :: nil) :: "b" :: nil) evaluates to "a" :: "b" :: nil
surround (x : String) (xs : List String) : List StringSource#
It inserts the first String at the beginning, in between, and at the end of the second list
intercalate (sep : String) (xs : List String) : StringSource#
It inserts the first String in between the Strings in the second list and concatenates the result
