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).
|
||||
|
||||

|
||||

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