From 27b55dcebc0a2f1ab2538f4dcb47b2a54a77087e Mon Sep 17 00:00:00 2001
From: Emile <git@emile.space>
Date: Sun, 19 Feb 2023 14:22:23 +0100
Subject: cannot solve foo

---
 cannot_solve.md | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 cannot_solve.md

(limited to 'cannot_solve.md')

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