ScalaCon talk: Type-level programming in Scala Presentation Examples How to build To generate presentation.html and presentation.pdf: make Dependencies Docker Scala CLI