[Agda] lectures on Agda

[selinger at mathstat.dal.ca]

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