Block Lambda
Saved
Workspace
92%
Press ⟲ Load to step a program's reduction.
Press ⟲ Load to run the program on the CEK machine.
C Control
E Environment
K Kontinuation
Right-click an application block and choose Call-by-Structure or Call-by-Value, or open the Lockstep tab.
Esc

Save workspace

Choose a file name

Load example

This example

Your workspace already has blocks. Replace them with this example, or merge the example alongside them?

Block Lambda

Block-Based λ-Calculus

Block Lambda is a web-based IDE for experimenting with Lambda Calculus through Blockly-style visual blocks and generated textual code.

Workspaces can be saved as .blc files and loaded again from disk. The IDE also keeps an automatic browser backup in local storage so recent work can be recovered if a manual save was forgotten.

Project
Blok-LambdaCalculus
Technology
TypeScript, npm, webpack, Blockly