Idris2Doc : algebra

Package algebra - Namespaces