Tutorial - 0.1.0

Stdlib.System.IO.Base

Definitions

builtin IO axiom IO : TypeSource#

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