@@ -713,7 +713,7 @@ of ones.
714.. code-block:: idris
714.. code-block:: idris
716− ones :: Stream Nat
716+ ones : Stream Nat
717 ones = 1 :: ones
717 ones = 1 :: ones
719It is important to note that codata does not allow the creation of infinite
719It is important to note that codata does not allow the creation of infinite