disco-0.1.1.0: lib/string.disco

-- type String = List(Char)

unlines : List(List(Char)) -> List(Char)
unlines([]) = []
unlines([l]) = l
unlines(l :: ls) = append(l, append("\n", unlines(ls)))