Changelog

1.2.2

• Fix: logic for when brackets are needed during conversion from tree to string

1.2.1

• Fix: allow saved term names to start with 'c'

1.2.0

• Feature: saving terms
• QoL: allow 'L' to represent lambda (λ)
• QoL: show errors as toast to user

1.1.0

• Feature: Allow left click to open context menu

1.0.0

• Initial release

Welcome

This is an expression parser that renders a tree. In the top right you can find an input field to edit the expression, or you can hold click on nodes to get a context menu with editing options. This renderer also has support for β-reduction (also in the context menu).

In the input field you use '\', 'L' or 'λ' (e.g. '\x' or 'Lx' to represent 'λx') to represent lambda. You can also use '$' as a prefix for known terms. (e.g. $omega)

Known terms are:

• Ω (alternatives are: o, omega)
• Y (fixed point combinator)
• I (or identity)
• Church numerals: c_ (e.g. c0, c10, etc.)

The source code can be found on GitHub

Saved Terms