Merge pull request #4390 from 2426021684/patch-1
Fix typo
commitbb9a135e6824a8c124578ceee83a5bb4378c35ec
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateThu 22 Mar 2018, 09:50 (9 years ago)
parentaae637d5d5e4b2
libs/prelude/Prelude/Interactive.idr+1−1
@@ -81,7 +81,7 @@ getLine = getLine'
8181putChar : Char -> IO ()
8282putChar c = foreign FFI_C "putchar" (Int -> IO ()) (cast c)
8383
84−||| Write a singel character to stdout, with a trailing newline
84+||| Write a single character to stdout, with a trailing newline
8585putCharLn : Char -> IO ()
8686putCharLn c = putStrLn (singleton c)
8787