Block Lang

MIT Scratch, but for lambda calculus, because we all have trouble finding the 'λ'-key, when trying to type it.

General idea

Lambda calculus, but a visual drag-n-drop application, a bit like MIT Scratch

Theme: Beautiful assembly

Putting blocks together counts as assembly

The beautiful part, is animating the reductions (Not finished yet)