(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 fixpoint
(lambda (f)
(funcall
(lambda (x) (funcall f (lambda ()(funcall x x )) ))
(lambda (x) (funcall f (lambda ()(funcall x x )) ))
)
)
)
(setq newmy (funcall fixpoint
(lambda (s)
(lambda (n)
(if (> n 0) (+ n (funcall (funcall s ) (- n 1) ) ) 0 )
)
)
))
