GNUnify was fun. Gopal has written about it here, so I don’t need to write anything. Instead, I’ll leave you with an interesting picture. :-)
More pictures here. Pankaj’s pictures here.
