calculus-of-constructions
maiavictor
js
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript
Version 0.1.4 License MIT
Keywords
functional-programming
INSTALL
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript