Compare commits

..

No commits in common. "69bf43f29520ac93a0f11957ed1310d8c869cf1d" and "b26d968884ae8501ebd9a58f8a5913b2a15b70d0" have entirely different histories.

2 changed files with 42 additions and 44 deletions

View File

@ -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).
![Lamb demo](https://betalupi.com/static/nc/git/lambdemo.mp4) ![Lamb screenshot](./misc/screenshot.png)
## Installation ## Installation

View File

@ -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("")