Idris2Doc : Data.Nat.Algebra

Data.Nat.Algebra