[Agda] lectures on Agda

[Jesper Cockx]

Hi Peter,

The list is maintained as part of the Agda github at
https://github.com/agda/agda/blob/master/doc/user-manual/getting-started/tutorial-list.rst.
Feel free to make a PR to add a link to your course!

-- Jesper

On Thu, Oct 7, 2021 at 5:12 AM <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/9bcbef95/attachment.html>