From 621f76b8ae00012c3b6764db63f6fad65fc61142 Mon Sep 17 00:00:00 2001
From: Emile <git@emile.space>
Date: Mon, 20 Feb 2023 10:45:03 +0100
Subject: example

---
 README.md | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 4ea1973..f08c981 100644
--- a/README.md
+++ b/README.md
@@ -17,6 +17,32 @@ Exec solve script:
 [HackTM CTF lambda]; python3 solve.py 
 ```
 
+## Example
+
+```
+------------------ EXAMPLE ------------------
+s = λb ε. ε b
+t = λb ε. b ε
+Please provide inputs [v1, v2, v3, ..., vn] such that:
+	((s) (v1) (v2) (v3) ... (vn)) beta-reduces to (λx y. x)
+	((t) (v1) (v2) (v3) ... (vn)) beta-reduces to (λx y. y)
+
+How many terms do you want to input? 2
+Please input term 1: (λa . (λx y . y))
+Please input term 2: (λa . (λx y . x))
+Correct!
+---------------------------------------------
+
+------------------ challenge 1/1000 ------------------
+s = λa. a a
+t = λa b. a b
+Please provide inputs [v1, v2, v3, ..., vn] such that:
+	((s) (v1) (v2) (v3) ... (vn)) beta-reduces to (λx y. x)
+	((t) (v1) (v2) (v3) ... (vn)) beta-reduces to (λx y. y)
+
+How many terms do you want to input?
+```
+
 ---
 
 ## Cache
-- 
cgit 1.4.1