[Agda] Re: AIM 10

[Yakov Zaytsev]

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.