Bend/tests/golden_tests/mutual_recursion/len.bend

5 lines
87 B
Plaintext

(Len []) = 0
(Len (List/Cons _ tail)) = (+ 1 (Len tail))
(Main) = (Len [* * * * * *])