about summary refs log tree commit diff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md7
1 files changed, 7 insertions, 0 deletions
diff --git a/README.md b/README.md
index 59f9ca7..11a1f5b 100644
--- a/README.md
+++ b/README.md
@@ -23,6 +23,13 @@ Exec solve script:
 
 Caching implemented, view the current cache here: [cache.md](./cache.md)
 
+format:
+
+```
+((s, t), (goal_s, goal_t)) ['(v1)', '(v2)', '(v3)', ...]
+```
+
+
 ## Challenge Description
 
 Let's have some fun with Lambda Calculus!