calculus-of-constructions

calculus-of-constructions JS library on GitHub calculus-of-constructions JS library on npm Download calculus-of-constructions JS library

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript

Version 0.1.4 License MIT
calculus-of-constructions has no homepage
calculus-of-constructions JS library on GitHub
calculus-of-constructions JS library on npm
Download calculus-of-constructions JS library
Keywords
functional-programming