Hanoi - 0.1.0

Stdlib.System.IO.Int

Definitions

builtin int-print axiom printInt : Int -> IOSource#