Idris2Doc
: Data.String.Base64
Index
Default
Alternative
Black & White
Data.String.Base64
(
source
)
Reexports
import
public
Data.String.Base64.Decode
import
public
Data.String.Base64.Encode