Agda.Utils.Hash

hash