Near Matches
Ignore Exact
Everything
2
structure ((λ (λ) (λ λ)) (λ (λ) (λ λ)))