Idris2Doc : prim

Package prim - Namespaces