Compare commits
No commits in common. "69bf43f29520ac93a0f11957ed1310d8c869cf1d" and "b26d968884ae8501ebd9a58f8a5913b2a15b70d0" have entirely different histories.
69bf43f295
...
b26d968884
@ -2,7 +2,7 @@
|
|||||||
|
|
||||||
If you're reading this on PyPi, go [here](https://git.betalupi.com/Mark/lamb).
|
If you're reading this on PyPi, go [here](https://git.betalupi.com/Mark/lamb).
|
||||||
|
|
||||||

|

|
||||||
|
|
||||||
|
|
||||||
## Installation
|
## Installation
|
||||||
|
@ -127,7 +127,6 @@ class Runner:
|
|||||||
|
|
||||||
|
|
||||||
skip_to_end = False
|
skip_to_end = False
|
||||||
try:
|
|
||||||
while (
|
while (
|
||||||
(
|
(
|
||||||
(self.reduction_limit is None) or
|
(self.reduction_limit is None) or
|
||||||
@ -142,8 +141,11 @@ class Runner:
|
|||||||
):
|
):
|
||||||
print(f" Reducing... {k:,}", end = "\r")
|
print(f" Reducing... {k:,}", end = "\r")
|
||||||
|
|
||||||
# Reduce
|
try:
|
||||||
red_type, node = lamb_engine.nodes.reduce(node)
|
red_type, node = lamb_engine.nodes.reduce(node)
|
||||||
|
except KeyboardInterrupt:
|
||||||
|
stop_reason = StopReason.INTERRUPT
|
||||||
|
break
|
||||||
|
|
||||||
# If we can't reduce this expression anymore,
|
# If we can't reduce this expression anymore,
|
||||||
# it's in beta-normal form.
|
# it's in beta-normal form.
|
||||||
@ -173,10 +175,6 @@ class Runner:
|
|||||||
("class:warn", "Skipping to end."),
|
("class:warn", "Skipping to end."),
|
||||||
]), style = lamb_engine.utils.style)
|
]), style = lamb_engine.utils.style)
|
||||||
|
|
||||||
# Gracefully catch keyboard interrupts
|
|
||||||
except KeyboardInterrupt:
|
|
||||||
stop_reason = StopReason.INTERRUPT
|
|
||||||
|
|
||||||
# Print a space between step messages
|
# Print a space between step messages
|
||||||
if self.step_reduction:
|
if self.step_reduction:
|
||||||
print("")
|
print("")
|
||||||
|
Reference in New Issue
Block a user