def cors.lower

emerging-ezhttp@0.21.0.0 · src/cors.bend:50

import Base

50# lowercase a list of names
51def cors.lower(xs: List<&2, String>) -> List<&2, String>:
52  match xs:
53    case []:
54      []
55    case h <> t:
56      String.to_lower(h) <> cors.lower(t)