another small typo fix in tutorial
commitfa2944700baacaa511f8ad3f8f0b2bc0e97de7f2
authorBrent Yorgey <byorgey@gmail.com>
dateTue 11 Jun 2013, 15:20 (13 years ago)
parentb62a2e4
tutorial/theorems.tex+1−1
@@ -412,7 +412,7 @@ function \texttt{f} must:
412412\item Cover all possible inputs
413413\item Be \emph{well-founded} --- i.e. by the time a sequence of
414414(possibly mutually) recursive calls reaches \texttt{f} again, it must
415−be possible to show that one its has decreased.
415+be possible to show that one of its arguments has decreased.
416416\item Not use any data types which are not \emph{strictly positive}
417417\item Not call any non-total functions
418418\end{itemize}