Idris2Doc : Control.Algebra.Implementations

Control.Algebra.Implementations