AIM9

The 9:th Agda Implementors Meeting will take place near Sendai, Japan 081127 - 081203.

Edit | History | Recent Changes (all) | Search

Page last modified on May 07, 2008, at 08:16 am

Powered by PmWiki