[ Agda ] Using hash function instead of timestamps.