Unverified Commit 6b943bca authored by Philip K.'s avatar Philip K. 🌝

strukturell: attempted to standardise font-usage

parent 6122bf92
\section{Strukturelle Induktion und Folds \hfill 9 Punkte}
In dieser Aufgabe wird der Grunddatentyp \texttt{char} verwendet. Es wird die gewöhnliche Schreibweise '\_' für char-Literale benutzt.
Definiert Seien
In dieser Aufgabe wird der Grunddatentyp \texttt{char} verwendet. Es
wird die gewöhnliche Schreibweise \verb!'!\_\verb!'! für \texttt{char}-
und \verb!"!\_\verb!"! \texttt{String}-Literale benutzt. Definiert Seien
\begin{verbatim}
data Nat = Z | S Nat
......@@ -14,8 +15,8 @@ Als bekannt darf
\begin{math}
\mathtt{Empty} \oplus t = t\\
(\mathtt{Cons}\; x\; s) \oplus t = \mathtt{Cons}\; x\; (s \oplus t)\\
Z + s = s\\
(S\ n) + m = S\ (n + m)
\mathtt{Z} + s = s\\
(\mathtt{S}\; n) + m = \mathtt{S}\; (n + m)
\end{math}
\end{multicols}
angenommen werden.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment