- let mult = \m n s. m (n s) in
- let length = Y (\length l. isempty l 0 (succ (length (tail l)))) in
- let pred = \n. iszero n 0 (length (tail (n (\p. make_list junk p) empty)))
- in
+ let mul = \m n s. m (n s) in
+ let pred = \n. iszero n 0 (length (tail (n (\p. make_list junk p) empty))) in