From d872df8121c64beb142faf95bcab76fa5e53db0d Mon Sep 17 00:00:00 2001 From: Emile Date: Sun, 19 Feb 2023 15:35:13 +0100 Subject: cannot_solve_list tracking what we can and can't solve --- cannot_solve.md | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'cannot_solve.md') diff --git a/cannot_solve.md b/cannot_solve.md index 73ccfb9..cd6328c 100644 --- a/cannot_solve.md +++ b/cannot_solve.md @@ -21,3 +21,7 @@ - `(λa b. a λc. c b b) | (λa b. a λc. c b)` - `(λa b. a λc. c c a) | (λa b. a λc. c c b)` - `(λa b. a λc. c c b) | (λa b. a (b b))` +- `(λa b. a (λc. b a a) a) | (λa b. a (λc. b c) a)` +- `(λa b. a (λc. b (a b) a) a) | (λa b. a (λc. b (a a) a) a)` +- `(λa b. a λc. b c) | (λa b. a λc. b a a)` +- `(λa b. a (a b b) a) | (λa b. a (λc. b c b) a)` -- cgit 1.4.1