Idris2Doc : multiplate

Package multiplate - Namespaces