[Agda] Congratulations to Jesper! --- [EAPLS] BOARD ANNOUNCEMENT: Jesper Cockx (KU Leuven) wins EAPLS PhD Disseration Award 2017/18]

Tue Dec 18 21:40:21 CET 2018

Congrats!

On Tue, Dec 18, 2018 at 10:23 PM Roman <effectfully at gmail.com> wrote:

> The thesis is absolutely great indeed. Congrats!
> _______________________________________________
> 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/20181218/415d2fbd/attachment.html>