@@ -543,7 +543,7 @@ class Eq a => Ord a where
543Intermediate values of \emph{non-dependent} types can be inspected using a
543Intermediate values of \emph{non-dependent} types can be inspected using a
544\texttt{case} expression. For example, \texttt{list\_lookup} looks up an index
544\texttt{case} expression. For example, \texttt{list\_lookup} looks up an index
545in a list, returning \texttt{Nothing} if the index is out of bounds. This can
545in a list, returning \texttt{Nothing} if the index is out of bounds. This can
546−be used this to write \texttt{lookup\_default}, which looks up an index and
546+be used to write \texttt{lookup\_default}, which looks up an index and
547returns a default value if the index is out of bounds:
547returns a default value if the index is out of bounds:
549\begin{SaveVerbatim}{listlookup}
549\begin{SaveVerbatim}{listlookup}