From 904c3027a41d7fe6491d70f4251893f5451df64c Mon Sep 17 00:00:00 2001
From: Janis Hutz <development@janishutz.com>
Date: Thu, 12 Mar 2026 11:38:59 +0100
Subject: [PATCH] [FMFP] Fix error

---
 .../fmfp/parts/02_typing/01_mini-haskell/01_lambda-calculus.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/semester4/fmfp/parts/02_typing/01_mini-haskell/01_lambda-calculus.tex b/semester4/fmfp/parts/02_typing/01_mini-haskell/01_lambda-calculus.tex
index f46a3e8..928dd44 100644
--- a/semester4/fmfp/parts/02_typing/01_mini-haskell/01_lambda-calculus.tex
+++ b/semester4/fmfp/parts/02_typing/01_mini-haskell/01_lambda-calculus.tex
@@ -19,3 +19,5 @@ It is based on the same concept as natural deduction trees
         \infer2[App]{\Gamma \vdash (t_1 t_2) :: \tau}
     \end{prooftree}
 \]
+
+For rule \texttt{Abs}, we require that $x \notin \Gamma$