Does anyone know why Agda is called Agda? I realize the name is based on the 1999 "Agda 1" by Catarina Coquand, but what was the meaning of the original name? Is it an acronym (I noticed that some of the early papers spell it AGDA)? Or is it someone's name? I looked at some of the Agda 1 materials, but found no explanation. Just curious, -- Peter