An intro to type-level programming

In this talk we will explore type-level programming. We will go through examples of how it's applied to achieve code safety.