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