Overview
Overview of Typechecker’s place in Core
Typechecker
Core IR types and type-checking
Correspondences
Correspondences between Typechecker code and QTT paper
Modules
Documentation of individual Typechecker modules
Formalization
Formalization of QTT in Idris-2
Last modified
June 28, 2021
: Break up Typechecker docs into several files (259bbae)