inductive.js

Inductive programming for JavaScript

v0.2.1 URL: https://unpkg.com/inductive.js@0.2.1/lib/inductive.js

Open Browse Files

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