Idris2Doc : simple-tests

Package simple-tests - Namespaces