about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--README.md26
1 files changed, 26 insertions, 0 deletions
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