RE: Adding (some) libraries to a GHC tree

Simon Peyton-Jones wrote:

great. Can you just do the merge? You are hereby appointed an "accredited wiki maintainer"!

Thank you :) I edited GettingTheSources as we said, and removed the links from the /Building page. Neil, if you think the extra links should be kept, sorry and please revert. Jost