Update Interactive.idr
fixed spelling in documentation comment
commitf1a95f9764b84bc0a4a1704ae4afca99bed8aa8f
authorCarsten König <Carsten@gettingsharper.de>
dateWed 19 Oct 2016, 14:07 (10 years ago)
parent20d4426
libs/prelude/Prelude/Interactive.idr+1−1
@@ -93,7 +93,7 @@ getChar = map cast $ foreign FFI_C "getchar" (IO Int)
9393||| so that output is written immediately, and never stored in the buffer
9494||| and the next input item is read and returned
9595|||
96−||| this is useful to circumvent problem with IO on some windows system
96+||| this is useful to circumvent problem with IO on some Windows system
9797||| where stdout output sometimes is only shown after prompted input from
9898||| stdin
9999disableBuffering : IO ()