The 6th Agda Implementors' Meeting

Gothenburg, May 24-30, 2007.