From d2a328ed1ba0e9e9c3d8ca66d973a6ad346b742a Mon Sep 17 00:00:00 2001
From: Emile <git@emile.space>
Date: Sun, 19 Feb 2023 14:23:37 +0100
Subject: cannot_solve upgrade

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

(limited to 'cannot_solve.md')

diff --git a/cannot_solve.md b/cannot_solve.md
index 711ce17..ed291be 100644
--- a/cannot_solve.md
+++ b/cannot_solve.md
@@ -1,6 +1,3 @@
 # cannot solve
 
-```
-(λa b. a (a b b)) | (λa b. a λc. a a)
-
-```
\ No newline at end of file
+- `(λa b. a λc. c c a) | (λa b. a λc. c c b)`
-- 
cgit 1.4.1