Idris2Doc : pg-idris

Package pg-idris - Namespaces