Idris2Doc : prelude

Package prelude - Namespaces