Strings

[
  Type   strings
  Funcon string
  Funcon string-append
  Funcon to-string
]

Type
  strings ~> lists(characters)

Funcon
  string(C^*:characters^*) : =>strings
    ~> [C^*]

Literal strings are written "C_1...C_n". A double-quote or backslash needs to be escaped: "...\\\"...", "...\\\\...".

Funcon
  string-append(S^*:strings^*) : =>strings
    ~> list-append(S^*)

Built-in Funcon
  to-string(_:ground-values) : =>strings

The strings returned by to-string(GV) are unspecified, except that when GV is already a string, it is returned unchanged.

Assert
  to-string(S:strings) == S