path: root/cannot_solve.md

# cannot solve

- `(λa b. a λc. c c a) | (λa b. a λc. c c b)`
- `(λa b. a λc. b a) | (λa b. a (b b a))`
- `(λa b. a λc. c b b) | (λa b. a λc. c b)`
- `(λa b. a (a b b)) | (λa b. a λc. c a)`