Announcement_19

I have started working on agda-stdlib under Prof. Jacques Carette at McMaster University as a Mitacs Globalink Research Intern.