Agda.Utils.Hash

type Hash

hashByteString

hashFile

combineHashes

hashString