Issue#2

Open jeranimation opened this issue 6 years ago • 1 comments

So what's the limit on how far into a calculus course it can evaluate?

Oct 28 '19 19:10 jeranimation

I tried several things, and I believe now that the full untyped lambda calculus is definitely out of reach. The class of things it can compute is unknown, and determining it is not an easy job. I would be interesting by testing more with the primitive recursive functions, though.

Oct 30 '19 02:10 HerrmannM