Typo

Author: olaure01

tex/chTypeInference.tex

@@ -229,7 +229,7 @@ \section{Type inference by example}
 The declaration of implicit arguments can be locally disabled by
 prefixing the name of the constant with the \lstinline/@/ symbol.
 
-Very often, it is possible de to determine the most plausible status
+Very often, it is possible to determine the most plausible status
 of each argument, explicit or implicit, using a heuristic. Such a
 heuristic is applied in a systematic way when a global option is
 declared: every definition posterior to the declaration may feature