From bdc0f5797350b40b207f0622c5f4ba500b56a5e4 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Thu, 5 Dec 2024 12:58:16 +0100
Subject: [PATCH] [lec10] typo in cbn/cbv

---
 notes/cbn-cbv.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/notes/cbn-cbv.md b/notes/cbn-cbv.md
index 34c6193..f1ad531 100644
--- a/notes/cbn-cbv.md
+++ b/notes/cbn-cbv.md
@@ -215,7 +215,7 @@ _Strategy_ question: where and under which conditions can these rules be applied
 
 Example:
 
-    (λ f y → (λ x → x) f (f y))  ((λ z → z) 42)
+    (λ y f → (λ x → x) f (f y))  ((λ z → z) 42)
 
 
 ### Substitution