/polar

A structure editor for a lambda calculus

Primary LanguageJavaScript

Polar

Check out Polar here!

Editing actions work similar to text. Backspace deletes, alphanumerics insert, parentheses are used for grouping, and space is function application. \ inserts a lambda. + and - work for numbers.