diff options
| -rw-r--r-- | backend/main.py | 2 | ||||
| -rw-r--r-- | src/App.vue | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/backend/main.py b/backend/main.py index 6cbea83..30ca0ab 100644 --- a/backend/main.py +++ b/backend/main.py @@ -149,7 +149,7 @@ def random_lambda_expression(depth: int, set_free_variables: set[chr]) -> Lambda return Abstraction(new_free_variable, random_lambda_expression(depth-1, set_free_variables)) def get_beta_steps(expression: LambdaExpression, steps: int) -> LambdaExpression: - expressions = [str(expression)] + expressions = [] for i in range(steps): expression = beta_reduction(expression) expressions.append(str(expression)) diff --git a/src/App.vue b/src/App.vue index 79d4b33..1e30df3 100644 --- a/src/App.vue +++ b/src/App.vue @@ -408,7 +408,7 @@ async function start() { }); }); - currentProblem.value = bricks[0][0].problem; + currentProblem.value = solutions.expression; gameInterval = setInterval(tick, 16); } |