[Agda] origin of "Agda"?

[John Leo]

I thought this was online somewhere, but I can't find it either.  I'm sure
the experts can give more information, but here is what I learned from
Peter Dybjer last year at OPLSS.

First of all Coq is the triple pun rooster / COC / COQuand where COC is
Calculus of Constructions.  Catarina Coquand is Thierry's wife.  Agda is
Swedish for hen.

John

On Wed, Jul 6, 2016 at 9:03 PM, Peter Selinger <selinger at mathstat.dal.ca>
wrote:

> 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
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160706/abf37d5d/attachment.html