Hanoi - 0.1.0

Stdlib.System.IO.String

Definitions

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

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