Contributing to this wiki
From Impredicative Wiki
(Difference between revisions)
(document how to get an account for this wiki) |
Revision as of 16:10, 18 November 2010
Send Adam a mail to get a wiki account: http://www.impredicative.com/pipermail/ur/2010-November/000273.html