GitHub repository: stepchowfun/book
Primary language: TeX
Description: A book about programming language theory.