GitHub repository: mavilein/introduction-to-type-level-programming-in-scala
Primary language: JavaScript
Description: This repo contains the Example Code and Slides (via revealjs) for a presentation i gave on Type Level Programming in Scala.