This repo contains the Example Code and Slides (via revealjs) for a presentation i gave on Type Level Programming in Scala.