HelloWorld - 0.1.0

Stdlib.System.IO.Bool

Definitions

builtin bool-print axiom printBool : Bool -> IOSource#