Idris2Doc : structures

Package structures - Namespaces