<div dir="ltr">She was active in the early development of Agda 2 (which started in 2005), but is no longer participating. You'd have to ask her when her last activity was though.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Oct 26, 2016 at 11:57 PM, Ken Kubota <span dir="ltr"><<a href="mailto:mail@kenkubota.de" target="_blank">mail@kenkubota.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear List Members,<br>
<br>
Concerning the history of Agda I have a question.<br>
<br>
According to the paper at<br>
<a href="http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf" rel="noreferrer" target="_blank">http://www.cse.chalmers.se/~<wbr>ulfn/papers/afp08/tutorial.pdf</a><br>
the "current version (Agda 2) is a complete rewrite instigated by Ulf Norell during his PhD".<br>
<br>
For my genealogy at<br>
<a href="http://dx.doi.org/10.4444/100.111" rel="noreferrer" target="_blank">http://dx.doi.org/10.4444/100.<wbr>111</a><br>
I would like to know whether Catarina Coquand is still active in the development of the Agda software, or if not, in which year her last activity was.<br>
The current information ("Agda by Catarina Coquand (1999 ff.) and Ulf Norell (2007 ff.)") could create the impression that Catarina Coquand is still participating in the software development of Agda 2.<br>
<br>
Thanks in advance.<br>
<br>
Kind regards,<br>
<br>
Ken Kubota<br>
<br>
____________________<br>
<span class="HOEnZb"><font color="#888888"><br>
Ken Kubota<br>
doi: 10.4444/100<br>
<a href="http://dx.doi.org/10.4444/100" rel="noreferrer" target="_blank">http://dx.doi.org/10.4444/100</a><br>
<br>
</font></span></blockquote></div><br></div>