<div dir="ltr">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.<div><br></div><div>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.</div><div><br></div><div>John</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jul 6, 2016 at 9:03 PM, Peter Selinger <span dir="ltr"><<a href="mailto:selinger@mathstat.dal.ca" target="_blank">selinger@mathstat.dal.ca</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Does anyone know why Agda is called Agda? I realize the name is based<br>
on the 1999 "Agda 1" by Catarina Coquand, but what was the meaning of<br>
the original name? Is it an acronym (I noticed that some of the early<br>
papers spell it AGDA)? Or is it someone's name? I looked at some of<br>
the Agda 1 materials, but found no explanation.<br>
<br>
Just curious, -- Peter<br>
<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div><br></div>