git.iko.soy/Idris-dev
on master help sign in
Type arguments of declaration were made to be similar to the others.
commit7f4ee1f3263ad166a9a049502a9afe5414918470 authorDenis Buzdalov <public@buzden.ru> dateSat 19 Oct 2019, 12:54 (7 years ago) parent8a25f65
1 file changed+2−2
compare with master
unifiedsplit
docs/effects/depeff.rst+2−2
docs/effects/depeff.rst+2−2
@@ -43,8 +43,8 @@ express this as follows:
4343
4444.. code-block:: idris
4545
46− readInt : Eff ()[STATE (Vect n Int), STDIO]
47− [STATE (Vect (S n) Int), STDIO]
46+ readInt : Eff () [STATE (Vect n Int), STDIO]
47+ [STATE (Vect (S n) Int), STDIO]
4848 readInt = do let x = trim !getStr
4949 putM (cast x :: !get)
5050