Since its now called Nim and not nimrod. Shouldn´t we ctrl-r Nimrod to Nim on the home page? And maybe remove som letters in the logo?
Is anyone working on this or can I help out?
Cheers, J
The rename will be complete with the release of 0.10. There are a couple of bugs that need to be fixed for this. Additionally we have a new website design that is being incorporated into our website generator.
The best way to help out is by ensuring the existing Babel packages will compile with 0.10.