Merge pull request #4240 from camelpunch/patch-1
ST tutorial: adjust makeAndIncrement example type
commitadc5fc88bad2729f0b283c92c0a11021abd3f3c8
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateMon 4 Dec 2017, 08:37 (9 years ago)
parentc3987cc4c95e68
docs/st/state.rst+1−1
@@ -594,7 +594,7 @@ That is, ``increment`` begins and ends with ``x`` in state ``State Integer``.
594594
595595.. code-block:: idris
596596
597− makeAndIncrement : Int -> ST m Int []
597+ makeAndIncrement : Integer -> ST m Integer []
598598
599599That is, ``makeAndIncrement`` begins and ends with no resources.
600600