<div dir="ltr"><div>My colleagues and I are writing a paper using Agda. We would like to include a bibliographic item to help readers who hadn't heard of Agda. How would the Agda development team like to be cited?</div>
<div><br></div><div>Citations by other authors include</div><div>- Ulf Norell's thesis,</div><div>- Agda wiki, with Ulf Norell as author,</div><div>- Agda wiki, with "the Agda team" as author,</div><div>- "Dependently typed programming in Agda" by Ulf Norrel in LNCS.</div>
<div><br></div><div>Yufei Cai</div></div>