def indent.go

ezx@1.11.0.0 · src/ez/prove.bend:72

import Base

72# every line of a block, indented under the line that introduces it
73def indent.go(ls: List<&2, String>) -> List<&2, String>:
74  match ls:
75    case []:
76      []
77    case h <> t:
78      ("    " ++ h ++ "\n") <> indent.go(t)