Contributing to this wiki
From Impredicative Wiki
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
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