GitHub repository: shd/tt2014
Primary language: TeX
Description: Type theory (IFMO, 2014)