Tromp diagram generator

Enter your lambda term using Classical (λa.λb.a(b)) or DeBrujin (λλ21) notation. You can use \ or / in place of λ.
The formula is assumed to be in Classical notation if there's a dot (.) somwhere.

Diagram notation invented by John Tromp
Made with <3 by Gwenn
Source code at gwennlbh/trompyst
Trans rights are human rights :3