Stdlib.System.IO
Contents
builtin IO axiom IO : TypeSource#
builtin IO-sequence axiom >> : IO → IO → IOSource#
builtin nat-print axiom printNat : Nat → IOSource#
builtin string-print axiom printString : String → IOSource#
builtin bool-print axiom printBool : Bool → IOSource#
builtin int-print axiom printInt : Int → IOSource#
builtin IO-readline axiom readLn : (String → IO) → IOSource#
printNatLn : Nat → IOSource#
printStringLn : String → IOSource#
printBoolLn : Bool → IOSource#
printIntLn : Int → IOSource#