Marco
/
ThProg-Merkzettel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Aufbau

This commit is contained in:
Marco Ammon 2018-10-08 18:17:08 +02:00
parent 1e312357c7
commit 6c07176b97
2 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
merkzettel.pdf
View File

Binary file not shown.

1
merkzettel.tex
View File

@ -379,7 +379,6 @@ flip\ &= \lambda f\ x\ y.f\ y\ x\\
const\ &= \lambda x\ y.x\\ const\ &= \lambda x\ y.x\\
twice\ &= \lambda f\ x.f\ (f\ x) twice\ &= \lambda f\ x.f\ (f\ x)
\end{align*} \end{align*}
\subsection*{Church-Kodierung}
\begin{align*} \begin{align*}
true\ &= \lambda x\ y.x\\ true\ &= \lambda x\ y.x\\
false\ &= \lambda x\ y.y\\ false\ &= \lambda x\ y.y\\