def nonempty

ezx@1.11.0.0 · src/lock/run.bend:55

import Base

55# the non-empty lines
56def nonempty(ss: List<&2, String>) -> List<&2, String>:
57  match ss:
58    case []:
59      []
60    case +h <> t:
61      +more = nonempty(t)
62      Bool.pick(List<&2, String>, String.is_empty(h), more, h <> more)