Idris2Doc : Data.Num.Implementations

Data.Num.Implementations