Idris2Doc : Data.Morphisms.Algebra

Data.Morphisms.Algebra