ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-14 03:14:14 +03:00
Code Issues Projects Releases Wiki Activity

Updated effect example

Browse Source
This commit is contained in:
Jan de Muijnck-Hughes 2015-04-07 21:40:21 +01:00
parent fe6f0a0768
commit 267c62a5df
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/effects/introduction.rst
View File

@ -66,7 +66,7 @@ library:
import Effects
import Effect.StdIO
hello : [STDIO] Eff ()
hello : {[STDIO]} Eff ()
hello = putStrLn “Hello world!”
main : IO ()