Fix typo
Correctly spell single
commit5d5e4b2c339adb3d8622d2ffab14afb3dc29ef77
author2426021684 <2426021684@users.noreply.github.com>
dateWed 21 Mar 2018, 20:03 (9 years ago)
parentaae637d
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