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
Files are loading...
Selected files
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript