λλ((2 2) λλ1) = λλλλ221 ?

[lengyijun]

parse(&"λλ((2 2) λλ1)", DeBruijn).unwrap() results λλλλ221
Is this expected ?

[ljedrz]

This is a flaw in the parser - inline terms need to be wrapped in parentheses in order to avoid this; in your case, this term would have to be written as:

λλ((2 2) (λλ1)) // parses as λλ22(λλ1)

I'll post a fix soon.