Idris2Doc : best-alternative

Package best-alternative - Namespaces