From cebaae0df5e9b305d3c242c2472d5e1d12921680 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 8 Dec 2025 11:05:01 +0000
Subject: [PATCH 1/3] Initial plan


From 1cbaf9284a26fc8156757ddd5e401110d78beca3 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 8 Dec 2025 11:08:27 +0000
Subject: [PATCH 2/3] Fix typo in README title: \ambda -> \lambda

Co-authored-by: theRealProHacker <77074862+theRealProHacker@users.noreply.github.com>
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 

From bb3e865608247c0984a07665a620537472aacad4 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 8 Dec 2025 11:16:24 +0000
Subject: [PATCH 3/3] Fix bug in pylambda.py: raise RuntimeError instead of
 just creating it

Co-authored-by: theRealProHacker <77074862+theRealProHacker@users.noreply.github.com>
---
 pylambda.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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