From 6209d413e26a057f1525e95b51a0f2a8f95e1495 Mon Sep 17 00:00:00 2001
From: Crocron4ik <121800330+Crocron4ik@users.noreply.github.com>
Date: Fri, 6 Mar 2026 15:10:19 +0300
Subject: [PATCH] fix typo

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

diff --git a/lection-16.tex b/lection-16.tex
index f18531b..5ec8ef5 100644
--- a/lection-16.tex
+++ b/lection-16.tex
@@ -400,7 +400,7 @@
 \item Если прочесть это буквально --- требуется <<универсальный конструктор>>,
 создающий значение данного типа, если тип вообще обитаем. Как это можно сделать
 для сложных типов?
-\item Однако, конструкции подобного сорта возможны. Например <<вычисление с текущим продолжением>>:
+\item Однако конструкции подобного сорта возможны. Например <<вычисление с текущим продолжением>>:
 $$\texttt{callcc}: \forall\alpha.\forall\beta.((\alpha\rightarrow\beta)\rightarrow\alpha)\rightarrow\alpha$$
 %Аргумент call/cc берёт продолжение --- остаток программы, начинающийся с данного места (это $\alpha\rightarrow\beta$)
 %и возвращает знаечени $\alpha$. Тогда вызов call/cc вернёт значение $\alpha$.