From 85e2e426101fe508fe735833b3014e2aa9d5eedb Mon Sep 17 00:00:00 2001 From: Emile Date: Sun, 19 Feb 2023 14:09:20 +0100 Subject: auto update cache.md --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'README.md') 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! -- cgit 1.4.1