enter a lambda calculus expression below to visualize the tree (use \ to input lambda)
waiting..