Visual Lambda Calculus

If you're familiar with Lambda calculus - here you can play with lambda terms in bubble notation.

Project main page: https://github.com/bntre/visual-lambda

Bubble notation basics.

Controls
    Zoom View: Mouse Wheel, +/-
    Move View: Middle mouse button, Arrows
    Select, drag an item: Left mouse button
    Apply one item to another: Drag and drop
    Also, refer to the tips (or read controls.txt)

You can use the browser console to add items, save, and load workspaces:

> function vl(...args) { document.getElementById("game_drop").contentWindow.postMessage(args, "*") }
> vl('addItem', "MULT 2 (\\f x. f (f x))")
> vl('clearWorkspace')
> vl('saveWorkspace', "combinators3")
> vl('loadWorkspace', "combinators3")

Predefined lambda terms: library.txt