Typo in tutorial
commitc8a4b7a8becac70aa72ccb878e1872d358a36317
authorpkel <p@keller-re.de>
dateWed 11 Jan 2017, 12:09 (10 years ago)
parenta308de2
docs/tutorial/typesfuns.rst+1−1
@@ -713,7 +713,7 @@ of ones.
713713
714714.. code-block:: idris
715715
716− ones :: Stream Nat
716+ ones : Stream Nat
717717 ones = 1 :: ones
718718
719719It is important to note that codata does not allow the creation of infinite