diff options
| author | RogerGabeller-ml <78610776+RogerGabeller-ml@users.noreply.github.com> | 2024-10-27 06:10:16 +0000 |
|---|---|---|
| committer | RogerGabeller-ml <78610776+RogerGabeller-ml@users.noreply.github.com> | 2024-10-27 06:10:16 +0000 |
| commit | e9ae8a66a1a0361520fcc43e4b72fbce9b468c52 (patch) | |
| tree | a3ae514be258c1b612c77e0abe947f9f57c0a854 /backend/main.py | |
| parent | 6e45ba9e67f9318d7771badf0ce4e89a8659e45d (diff) | |
Change massively
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)) |