An afternoon of Agda at Stack Builders - View it on GitHub