cannot_solve.md


1
2
3
4
5
6
7
8
9

# 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)`
- `(λa b. a a λc. b (c c c)) | (λa b. a a λc. b (c a))`
- `(λa b. a a λc. b b b) | (λa b. a a λc. a a)`
- `(λa b. a a λc. b (b c a)) | (λa b. a a λc. b (b a b))`