[Agda] Re: AIM 10

Yakov Zaytsev yakov at yakov.cc
Thu Sep 10 16:27:03 CEST 2009


Peter Dybjer <peterd at chalmers.se> writes:

> A preliminary programme for AIM 10 is now available:
>
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMX

Could you please make video recordings for those who can't visit the conference?

Specifically, Yoshiki Kinoshita's talk seems to be promissing for me as
an Agda beginnner, also Anton Setzer's "Interactive programs in Agda" is
interesting too :-)

TIA

Best regards,
Yakov.





More information about the Agda mailing list