inductive.js/package.json at master · omphalos/inductive.js · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
{
  "name": "inductive.js",
  "version": "0.2.1",
  "description": "Inductive programming for JavaScript",
  "main": "./lib/inductive.js",
  "scripts": {
    "test": "./test/test.i.js"
  },
  "repository": {
    "type": "git",
    "url": "https://github.com/omphalos/inductive.js"
  },
  "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"
  ],
  "author": "omphalos",
  "license": "MIT",
  "dependencies": {
    "escodegen": "~1.3.1",
    "esprima": "~1.1.1"
  }
}