On: Integral Calculus in Lambda Calculus (Lisp)

[rkowalick]

I would really impressed by seeing some kind of wacky function paired with a fixed point combinator so that when a function is integrable, the combinator spits out as a fixed point the answer.