Fibonacci - 0.1.0

Stdlib.System.IO

Definitions

builtin IO axiom IO : TypeSource#

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

builtin nat-print axiom printNat : Nat IOSource#

builtin string-print axiom printString : String IOSource#

builtin bool-print axiom printBool : Bool IOSource#