Fibonacci - 0.1.0

Stdlib.Data.Nat

Definitions

builtin nat type NatSource#

Constructors

zero : Nat
suc : Nat Nat

builtin nat-plus + : Nat Nat NatSource#

builtin nat-mul * : Nat Nat NatSource#

builtin nat-sub sub : Nat Nat NatSource#

builtin nat-udiv terminating udiv : Nat Nat NatSource#

builtin nat-div div : Nat Nat NatSource#

builtin nat-mod mod : Nat Nat NatSource#