Remove "notation" - syntax rule isn't used anymore.
commit74068ec2e484fc59d82db507b9fee18b796826f4
authorLeif Warner <abimelech@gmail.com>
dateSun 1 Nov 2015, 16:17 (11 years ago)
parent4a5e169
docs/effects/depeff.rst+1−1
@@ -48,7 +48,7 @@ express this as follows:
4848 readInt = do let x = trim !getStr
4949 putM (cast x :: !get)
5050
51−The notation ``Eff a xs xs'`` in a type means that the operation
51+The type ``Eff a xs xs'`` means that the operation
5252begins with effects ``xs`` available, and ends with effects ``xs’``
5353available. We have used ``putM`` to update the state, where the ``M``
5454suffix indicates that the *type* is being updated as well as the value.