Faking Dependent Types in C++ [2012]

The source code on github seems to have been updated in the meantime, I also found it easier to understand than the inline snippets: https://github.com/sanjoy/Snippets/blob/master/DependentType...