GitHub repository: nrinaudo/far-more-adt
Primary language: HTML
Description: Slides for a talk on ADTs and GADTs