The 6th Agda Implementors' Meeting

Gothenburg, May 24-30, 2007.

Page last modified on October 16, 2007, at 12:33 PM
Powered by PmWiki