diff --git a/README.md b/README.md index 1d2435f..bc6455d 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# \ambda - A Lambda calculator written in Haskell +# \lambda - A Lambda calculator written in Haskell > Inspired by the course "Funktionale Programmierung" @ FU Berlin diff --git a/pylambda.py b/pylambda.py index e656258..055145e 100644 --- a/pylambda.py +++ b/pylambda.py @@ -44,7 +44,7 @@ def areduce(self): try: self.rename_bound(f, rest.pop()) except: - RuntimeError("Ran out of letters") + raise RuntimeError("Ran out of letters") def breduce(self): ...