diff options
Diffstat (limited to 'backend/main.py')
| -rw-r--r-- | backend/main.py | 2 |
1 files changed, 1 insertions, 1 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)) |