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

Roman effectfully at gmail.com
Tue Dec 18 21:23:35 CET 2018


The thesis is absolutely great indeed. Congrats!


More information about the Agda mailing list