calculus-of-constructions (npm): Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript
Keywords: functional-programming