Agda on the web, Quizes for evaluation of student's knowledge

• The hen Agda is laying "eggs" - individual quizes for our students.

Are you interested to use this quiz-system?