Idris2Doc : Data.Num.Implementations

Data.Num.Implementations

Deprecated, use `Prelude.Interfaces` instead