Idris2Doc : network

Package network - Namespaces