@@ -81,7 +81,7 @@ getLine = getLine'
81putChar : Char -> IO ()
81putChar : Char -> IO ()
82putChar c = foreign FFI_C "putchar" (Int -> IO ()) (cast c)
82putChar c = foreign FFI_C "putchar" (Int -> IO ()) (cast c)
84−||| Write a singel character to stdout, with a trailing newline
84+||| Write a single character to stdout, with a trailing newline
85putCharLn : Char -> IO ()
85putCharLn : Char -> IO ()
86putCharLn c = putStrLn (singleton c)
86putCharLn c = putStrLn (singleton c)