Code and materials for my book "Pragmatic Type Level Design" - View it on GitHub