Idris2Doc : graph

Package graph - Namespaces