<div dir="ltr"><div>Wow, thank you all so much! This certainly wouldn't have been possible without the outstanding support of the whole Agda community. <br></div><div><br></div><div>-- Jesper<br></div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, Dec 18, 2018 at 11:49 PM James Chapman <<a href="mailto:jmchapman@gmail.com" target="_blank">jmchapman@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Congratulations Jesper!<br>
<br>
On Tue, 18 Dec 2018 at 20:41, Apostolis Xekoukoulotakis<br>
<<a href="mailto:apostolis.xekoukoulotakis@gmail.com" target="_blank">apostolis.xekoukoulotakis@gmail.com</a>> wrote:<br>
><br>
> Congrats!<br>
><br>
> On Tue, Dec 18, 2018 at 10:23 PM Roman <<a href="mailto:effectfully@gmail.com" target="_blank">effectfully@gmail.com</a><mailto:<a href="mailto:effectfully@gmail.com" target="_blank">effectfully@gmail.com</a>>> wrote:<br>
> The thesis is absolutely great indeed. Congrats!<br>
> _______________________________________________<br>
> Agda mailing list<br>
> <a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><mailto:<a href="mailto:Agda@lists.chalmers.se" target="_blank">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>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">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>