def duplicate_strings

cli@0.2.0.0 · cli.bend:1611

import Base

1611def duplicate_strings(xs: List<&2, String>) -> Bool:
1612  match xs:
1613    case Nil{}: False{}
1614    case +head <> +tail:
1615      Bool.or(List.contains(~String, ~String.eq, tail, head),
1616        duplicate_strings(tail))