Lestrade Lestrade This is a repository for material related to the Lestrade Type Inspector, an implementation of dependent type theory.