Idris2Doc : base64

Package base64 - Namespaces