Tutorial - 0.1.0

Stdlib.System.IO

Definitions

builtin IO axiom IO : TypeSource#

builtin IO-sequence axiom >> : IOIOIOSource#

builtin nat-print axiom printNat : NatIOSource#

builtin string-print axiom printString : StringIOSource#

builtin bool-print axiom printBool : BoolIOSource#

builtin int-print axiom printInt : IntIOSource#

builtin IO-readline axiom readLn : (StringIO)IOSource#