Idris2Doc : promise

Package promise - Namespaces