[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