Knights of the Lambda Calculus
IMPORTANT: Make sure the full game window is loaded in before playing, your browser may be too zoomed in so you can either zoom out, or set the game window (not the browser window) to full screen.
It is also recommended that you play the desktop builds instead of this web version. You may download them at https://github.com/mug1wara26/KOTLC-Releases/releases
Tips:
You can press L, V or P to bring up Lambda, Variable, or Parenthesis respectively.
You can also press keys 0-9 to bring up Variables with their respective indexes.
Change the animation speed in the settings to one you're comfortable with.
Move around with WASD
Use the scroll wheel to increase or decrease the index of a Variable
Double Click on an element to open up its menu
Press Ctrl-Z to undo, Ctrl-Shift-Z or Ctrl-Y to redo
Comments
Log in with itch.io to leave a comment.
the level mult is seemingly impossible since it always hits the max step limit, would it be possible to add something to unlock all levels?
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.
all it does is take A and B repeat (+ B) to 0 A times, do you have a solution that works because I have no clue
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).