Idris2Doc : Data.String.Base64

Data.String.Base64

(source)

Reexports

import public Data.String.Base64.Decode
import public Data.String.Base64.Encode