Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript. - View it on GitHub