def redirect.clean

emerging-ezhttp@0.21.0.0 · src/redirect.bend:86

import Base

86# the segments after a path's leading `/`, dot segments removed, as a path
87def redirect.clean(ss: List<&2, String>) -> String:
88  "/" ++ String.join(redirect.dots(ss, []), "/")