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) …