3 ms·

Neat! (^x.x x) (^x.x x) InternalError: too much recursion

• geocar 16y ago
  That it is labelled "Call-by-value edition" is probably why. Y[^f.(^x.f (x x)) (^x.f (x x))] and Z[^f. (^x. f (^y. x x y)) (^x. f (^y. x x y))] appear to expand correctly, but I haven't had my coffee yet...
  • kragen 16y ago
    (λx.x x) (λx.x x) is an infinite loop whether you use call-by-"name" or call-by-value.
    • geocar 16y ago
      Oh quite right.