Agda.Utils.Hash
type
Hash
hashByteString
hashFile
combineHashes
hashString