GitHub repository: zachhalle/hotc
Primary language: TeX
Description: Notes on higher-order typed compilation. Probably wrong