def write_lines.text

bend-stdio-pipes@0.2.0.0 · impl.bend:94

import Base

94def write_lines.text(lines: List<String>) -> String:
95  match lines:
96    case Nil{}:
97      ""
98    case Con{line, rest}:
99      line ++ "\n" ++ write_lines.text(rest)