Commit 2e976c34 authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent fed20594
......@@ -44,7 +44,7 @@
\item
\begin{assertion}[type=observation,title=Turing Equivalence]
All \trefiis[programming-languages]{programming}{language} are (made to be)
\atrefi{universal}{Turing}{complete}, so they can compute exactly the
\atrefii{universal}{Turing}{complete}, so they can compute exactly the
same.\lec{\trefis[program-execution]{compiler}/\trefis[program-execution]{interpreter}
exist}
\end{assertion}
......
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