diff --git a/merkzettel.pdf b/merkzettel.pdf index f53202d..e9d5164 100644 Binary files a/merkzettel.pdf and b/merkzettel.pdf differ diff --git a/merkzettel.tex b/merkzettel.tex index b631f45..b317cec 100644 --- a/merkzettel.tex +++ b/merkzettel.tex @@ -379,7 +379,6 @@ flip\ &= \lambda f\ x\ y.f\ y\ x\\ const\ &= \lambda x\ y.x\\ twice\ &= \lambda f\ x.f\ (f\ x) \end{align*} -\subsection*{Church-Kodierung} \begin{align*} true\ &= \lambda x\ y.x\\ false\ &= \lambda x\ y.y\\