[Agda] lectures on Agda

Drazen Popovic bladyjoker at gmail.com
Thu Oct 7 12:18:46 CEST 2021


Hi Peter,

I watched a couple of lectures and enjoyed them a lot! Especially the
tactics lectures. Thanks a lot for making this available.

Regards,
Drazen

On Thu, 7 Oct 2021 at 05:11, <selinger at mathstat.dal.ca> wrote:

> Hi all,
>
> I gave a course on Agda this year, and have now made it available on
> this website:
>
> https://www.mathstat.dal.ca/~selinger/agda-lectures/
>
> I don't know who maintains the list of courses at
> https://agda.readthedocs.io/en/latest/getting-started/tutorial-list.html,
> but if whoever does that could add my course to that list, that would
> be great!
>
> Thanks, -- Peter
>
> _______________________________________________
> 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/20211007/d059e7c7/attachment.html>


More information about the Agda mailing list