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/S

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/DependentTypes.cc https://github.com/sanjoy/Snippets/blob/master/DependentType...