So, I'm going over the C++0x draft, and I get to concepts. I'm understanding it up to where it starts getting into concept maps.
What is the purpose exactly of a concept map as opposed to a concept?
When 'typedef' and 'typename' are used in concepts and concept maps, what do they mean?
When would you use a type other than 'auto' for a concept?
What is an axiom? (this part was totally confusing to me)