Unverified Commit e2fa7640 authored by Philip K.'s avatar Philip K. 🌝
Browse files

termersetzung: replaced 'Z' with '|' in unary

parent c5383200
......@@ -18,7 +18,7 @@ Die Funktion \texttt{unary}, welche ein \texttt{Nat} in die unäre
Repräsentation dieser Zahl in Form eines Strings darstellt, definiert als:
unary Z = Empty
unary (S n) = Cons 'Z' (unary n)
unary (S n) = Cons '|' (unary n)
\item Beweisen\points{6} Sie mittels Induktion, dass
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