From 82fbfa6e7fa5c02a2703fcaf6d180cd9d8be6bfa Mon Sep 17 00:00:00 2001
From: Emile <git@emile.space>
Date: Sun, 19 Feb 2023 14:26:12 +0100
Subject: state update

---
 cannot_solve.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cannot_solve.md')

diff --git a/cannot_solve.md b/cannot_solve.md
index 6321a2e..1cabb4f 100644
--- a/cannot_solve.md
+++ b/cannot_solve.md
@@ -7,3 +7,4 @@
 - `(λ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))`
+- `(λa b. a a λc. a (a c) a) | (λa b. a a λc. a (a b) a)`
-- 
cgit 1.4.1