stdlib - 0.0.1

Stdlib.System.IO.String

Definitions

builtin string-print axiom printString : String -> IOSource#

builtin IO-readline axiom readLn : (String -> IO) -> IOSource#