From ebe53b2c90e205ff6212c39e0b94387aa69e27d3 Mon Sep 17 00:00:00 2001
From: Emile <git@emile.space>
Date: Sun, 19 Feb 2023 14:25:00 +0100
Subject: cannot_solved.md formatting

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

(limited to 'cannot_solve.md')

diff --git a/cannot_solve.md b/cannot_solve.md
index ed291be..b23ffbf 100644
--- a/cannot_solve.md
+++ b/cannot_solve.md
@@ -1,3 +1,6 @@
 # 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)`
-- 
cgit 1.4.1