Top Questions

1. Why does (( (λf.λx.f(f(f(x)))) (λg.λy.g(g(y))) ) (λz.z + 1)) (0) evaluate to 8?
   2 votes

   2 answers
2. Getting infinite type error when making function that runs its input on itself
   2 votes

   3 answers