Courses using Agda

This is a list of courses which use Agda. Please add your own!