Contributing to this wiki
From Impredicative Wiki
(Difference between revisions)
(document how to get an account for this wiki) |
(Mention need to send username; change my e-mail address) |
| (One intermediate revision by one user not shown) | |
Latest revision as of 11:14, 22 January 2015
After creating a wiki account, send Adam a mail, including your wiki username, to have write privileges added: http://www.impredicative.com/pipermail/ur/2010-November/000273.html
