Fibonacci - 0.1.0

Stdlib.Trait.Eq

Definitions

trait type Eq ASource#

A trait defining equality

Constructors

| mkEq {eq : A -> A -> Bool}