diff options
author | Emile <git@emile.space> | 2023-02-19 15:35:13 +0100 |
---|---|---|
committer | Emile <git@emile.space> | 2023-02-19 15:35:13 +0100 |
commit | d872df8121c64beb142faf95bcab76fa5e53db0d (patch) | |
tree | 86031f7ff87ff3c5f70fe22390a700bcb2bf1dfb /cannot_solve.md | |
parent | 702d46355da5a5332c996bfc8f9f12b25fb3d8d0 (diff) |
cannot_solve_list tracking what we can and can't solve
Diffstat (limited to 'cannot_solve.md')
-rw-r--r-- | cannot_solve.md | 4 |
1 files changed, 4 insertions, 0 deletions
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)` |