Hi, thanks for playing my game! It’s not impossible, likely your solution is too inefficient, we did try to make the test cases smaller to accommodate inefficient solutions, but it seems like the web version is just too slow. You could try playing on the desktop releases.
Viewing post in Knights of the Lambda Calculus comments
that is correct, but the solution makes use of your solution to the plus level, which has a solution more efficient than repeatedly applying succ.
If you can’t find this solution, I can update the game to be even more lenient with the time limit, do give me a while though as I am still busy with school. I am also not sure if updating the game will overwrite your save progress on the web (it does not on the desktop builds as there are save files).