Name: Anonymous 2011-01-28 10:46
because HAS NO MACROS.
len [x@xs] -> 1+xs.len
(define len
(@
`(,x . ,(app (@ (? (@ `() -> #t
x -> #f)
x) -> 1
(? (@ (app len x) -> (> x 0)) x) -> (add1 (len x)))
l)) -> l))