Idris2Doc : Decidable.Equality

Decidable.Equality