@@ -223,7 +223,7 @@ Every occurence of the the defined type in a constructor argument will be
223223wrapped in the ``Inf`` type constructor. This has the effect of delaying the
224224evaluation of the second argument when the data constructor is applied.
225225An ``Inf`` argument is constructed using ``Delay`` (which Idris will insert
226−implicitly) adn evaluated using ``Force`` (again inserted implicitly).
226+implicitly) and evaluated using ``Force`` (again inserted implicitly).
227227
228228Furthermore, recursive calls under a ``Delay`` must be guarded by a constructor
229229to pass the totality checker.