git.iko.soy/Idris-dev
on master help sign in
Fix quotes in Effects introduction
81fb4ceDmitry Nikulin
docs/effects/introduction.rst+1−1
compare with master
unifiedsplit
@@ -65,7 +65,7 @@ library:
65 import Effect.StdIO
65 import Effect.StdIO
66
66
67 hello : Eff () [STDIO]
67 hello : Eff () [STDIO]
68− hello = putStrLn “Hello world!”
68+ hello = putStrLn "Hello world!"
69
69
70 main : IO ()
70 main : IO ()
71 main = run hello
71 main = run hello