The 6th Agda Implementors' Meeting

Gothenburg, May 24-30, 2007.

Program
AIM 6 Ending discussion (including planning for AIM 7)

Edit | History | Recent Changes (all) | Search

Page last modified on October 16, 2007, at 12:33 pm

Powered by PmWiki