inductive.js (npm): Inductive programming for JavaScript
Keywords: type|types|ast|abstract-syntax-tree|abstract|syntax|tree|induction|inductive|inductive-programming|inductive-functional-programming|test|testing|unit|mock|solver|solve|mocks|mocking|tests|programming|spec|specification|tdd|test-driven|test-driven-development|bdd|behavior-driven-development|behavior-driven|behavior|ui-testing|ui|io|functional|functional-programming|fp|immutable|immutability|curry-howard-isomorphism|curry|howard|isomorphism|proof|proves|proofs