(setq my
(lambda ( f)
(lambda (n)
(if (> n 0)
(+ n (funcall (funcall f f) (- n 1) ) )
0
)
)
)
)
(setq my
(lambda (n)
(if (> n 0)
(+ n (funcall my (- n 1) ) )
0
)
)
)
(setq wrap
(lambda (f)
(lambda ( n)
(funcall (funcall f f ) n)
)
)
)
(setq fixpoint
(lambda (f)
(funcall
(lambda (x) (funcall f (funcall wrap x ) ) )
(lambda (x) (funcall f (funcall wrap x ) ) )
)
)
)
(setq newmy (funcall fixpoint
(lambda (s)
(lambda (n)
(if (> n 0) (+ n (funcall s (- n 1) ) ) 0 )
)
)
))