From 6aaad0f3b28f44a3c57a689467906a56b24b292a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=90=D0=BB=D0=B5=D0=BA=D1=81=D0=B5=D0=B9=20=D0=A2=D1=83?=
 =?UTF-8?q?=D1=80=D0=BE=D0=B2?= <74823624+Le0ks@users.noreply.github.com>
Date: Wed, 11 Mar 2026 21:42:11 +0300
Subject: [PATCH] Update lection-03.tex

---
 lection-03.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lection-03.tex b/lection-03.tex
index 37dbe22..b397d9a 100644
--- a/lection-03.tex
+++ b/lection-03.tex
@@ -90,7 +90,7 @@
 
 \begin{frame}{Изоморфизм Карри-Ховарда}
 
-Обычно формулируется для лямбда исчисления --- формального алгоритма, хорошо
+Обычно формулируется для лямбда-исчисления --- формального алгоритма, хорошо
 абстрагирующего синтаксис языков программирования (пока не будем углубляться
 в подробности).