auto update cache.md

1 files changed, 10 insertions, 4 deletions

diff --git a/solve.py b/solve.py
index 60ae42c..06daab1 100644
--- a/solve.py
+++ b/solve.py
@@ -198,8 +198,9 @@ def beta_reduce(depth, expression):
     # move lambdas from body to params
     if "λ" in body:
         idx = body.index("λ")
-        params.append(body[idx+1])
-        del body[idx:idx+3] # the lambda, the arg and the dot
+        if body[idx-1] != "(":
+            params.append(body[idx+1])
+            del body[idx:idx+3] # the lambda, the arg and the dot
     # +++++++++++++ THIS COULD BE BROKEN ++++++++
 
 
@@ -664,8 +665,13 @@ while True:
             pickle.dump(cache, handle, protocol=pickle.HIGHEST_PROTOCOL)
 
         for k in cache:
-            #print(k, cache[k])
-            print(k)
+
+            cache_human_readable = open("cache.md", "w")
+            cache_human_readable.write(f"# cache\n```\n")
+            for k in cache:
+                cache_human_readable.write(f"{k}: {cache[k]}\n")
+                print(k)
+            cache_human_readable.write(f"```")
 
 
         break