HelloWorld - 0.1.0

Stdlib.System.IO.Base

Definitions

builtin IO axiom IO : TypeSource#

builtin IO-sequence axiom >>> : IO -> IO -> IOSource#