about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--solve.py6
1 files changed, 5 insertions, 1 deletions
diff --git a/solve.py b/solve.py
index 74bc7c0..3e6660a 100644
--- a/solve.py
+++ b/solve.py
@@ -483,12 +483,16 @@ def brute_force_single(level, s, goal_s):
 ### ########################################
 
 s='(λa b. a λc. b (a c))'
-t='(λa b. a λc. b (a a c))'
+s='(λa b c. a b (a c))'
+t='(λa b c. a b (a c))'
+#t='(λa b. a λc. b (a a c))'
 goal_s='(λx y. x)'
 goal_t='(λx y. y)'
 r1 = brute_force(0, s, t, goal_s, goal_t)
 print(f"{r1=}")
 
+exit()
+
 #for i in range(0, 50):
 #    s = "(λa b. a (a b))"
 #    t = "(λa b. a (a a))"