From 6195f0402ca9747c56f3acb22b4d1adcdeac892f Mon Sep 17 00:00:00 2001
From: IgnatSergeev <ignat.sergeev@softcom.su>
Date: Thu, 30 May 2024 15:40:53 +0300
Subject: [PATCH] Added solution

---
 F#/Skk/Skk.tex | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 F#/Skk/Skk.tex

diff --git a/F#/Skk/Skk.tex b/F#/Skk/Skk.tex
new file mode 100644
index 0000000..b0d113f
--- /dev/null
+++ b/F#/Skk/Skk.tex
@@ -0,0 +1,11 @@
+\documentclass{article}
+\usepackage[russian]{babel}
+
+
+\title{SKK}
+
+\begin{document}
+\maketitle
+
+$S K K = (\lambda x\ y\ z.x\ z\ (y\ z))\ K\ K =_\beta \lambda z.K\ z\ (K\ z) = \lambda z.(\lambda x\ y.x)\ z\ (K\ z) =_\beta \lambda z.z = I$
+\end{document}