Bend/tests/golden_tests/run_lazy/str_len.bend
2024-05-15 00:25:46 +02:00

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 🐼")