Bend/tests/golden_tests/run_file/str_len.bend

6 lines
165 B
Plaintext

String/len s = (String/len/go s 0)
String/len/go (String/Nil) x = x
String/len/go (String/Cons hd tl) x = (String/len/go tl (+ x 1))
main = (String/len "λx 🐼")