Agda seminar

University project