Contributing to this wiki
From Impredicative Wiki
(Difference between revisions)
(document how to get an account for this wiki) |
(Clarify that you must create an account first) |
Revision as of 13:00, 24 June 2011
After creating a wiki account, send Adam a mail to have write privileges added: http://www.impredicative.com/pipermail/ur/2010-November/000273.html