diff options
| author | Emile <git@emile.space> | 2023-02-19 16:35:26 +0100 |
|---|---|---|
| committer | Emile <git@emile.space> | 2023-02-19 16:35:26 +0100 |
| commit | 8e1251871986ce73586f1f81cccc5f3e7844d3cf (patch) | |
| tree | b2345fb7df1cabb9bf177ab90ca30116968b52bc /cannot_solve.md | |
| parent | 4d8113285d13fa29dad8a3d084fe7b45ae14f093 (diff) | |
update cache and cannot_solve
Diffstat (limited to 'cannot_solve.md')
| -rw-r--r-- | cannot_solve.md | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/cannot_solve.md b/cannot_solve.md index 9964dff..b1a4293 100644 --- a/cannot_solve.md +++ b/cannot_solve.md @@ -51,3 +51,32 @@ - `(λa b. a λc. b (c b) a) | (λa b. a λc. b (c c) a)` - `(λa b. a λc. b (a b)) | (λa b. a λc. b (a a))` - `(λa b. a λc. a (a b)) | (λa b. a λc. a (a c b))` +- `(λa b. a (λc. b b (b c)) a) | (λa b. a (λc. b b (b a)) a)` +- `(λa b. a λc. b (a a) a) | (λa b. a λc. b (b b) a)` +- `(λa b. a λc. a b) | (λa b. a λc. a c a)` +- `(λa b. a a λc. a (c a b) b) | (λa b. a a λc. a (c c a) b)` +- `(λa b. a (λc. b (c c) b) a) | (λa b. a (λc. b (c b a) b) a)` +- `(λa b. a λc. c b c) | (λa b. a λc. c c c)` +- `(λa b. a λc. b c c) | (λa b. a λc. b b c)` +- `(λa b. a a λc. a a) | (λa b. a a (b b))` +- `(λa b. a λc. a (c a)) | (λa b. a λc. a (b a c))` +- `(λa b. a a λc. b (a b)) | (λa b. a a λc. b (c c))` +- `(λa b. a (b b)) | (λa b. a λc. a b)` +- `(λa b. a λc. b a (b c)) | (λa b. a λc. b a (b c a))` +- `(λa b. a λc. b b) | (λa b. a (a b a))` +- `(λa b. a a (a a b)) | (λa b. a a λc. a a c)` +- `(λa b. b a) | (λa b. b b a)` +- `(λa b. a λc. c b) | (λa b. a λc. c b c)` +- `(λa b c. c b) | (λa b. b b)` +- `(λa b. a a λc. b a (c a b)) | (λa b. a a λc. b a (c b b))` +- `(λa b. a a λc. b (a b c) a) | (λa b. a a λc. b (a b b) a)` +- `(λa b. a λc. a b (a b a)) | (λa b. a λc. a b (a b c))` +- `(λa b. a λc. b (a c)) | (λa b. a λc. b (c c))` +- `(λa b. a λc. a (c c a)) | (λa b. a λc. a (c b))` +- `(λa b. a a λc. a a) | (λa b. a a (a b))` +- `(λa b. a a λc. b b c) | (λa b. a a λc. c a)` +- `(λa b. a λc. a (b a)) | (λa b. a λc. a (b b a))` +- `(λa b. a (b a)) | (λa b. a λc. b b c)` +- `(λa b. a a λc. a a b) | (λa b. a a λc. a a)` +- `(λa b. a a λc. b c) | (λa b. a a λc. c a)` +- `(λa b. a (b a b)) | (λa b. a λc. c b a)` |
