eole
eole copied to clipboard
Issue#2
So what's the limit on how far into a calculus course it can evaluate?
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.