Merge pull request #3611 from pkel/patch-1
Typo in tutorial
commit2e9847ce4f62182d9e53cfad8ba91bb9c6e2136c
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateFri 13 Jan 2017, 10:28 (10 years ago)
parentc86bf98c8a4b7a
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