package.json

{
  "name": "refinement",
  "version": "0.1.0",
  "keywords": [
    "javascript",
    "contracts",
    "gradual refinement type"
  ],
  "bin": {
    "rfjs": "./bin/main.js",
    "tajs-all.jar": "./bin/tajs-all.jar",
    "tajs": "./bin/tajs.js"
  },
  "description": "Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.",
  "main": "bin/main.js",
  "scripts": {
    "build": "gulp",
    "update": "gulp && sudo npm install -g"
  },
  "directories": {
    "bin": "./bin"
  },
  "author": "nicekingwei",
  "license": "MIT",
  "repository": {
    "type": "git",
    "url": "https://github.com/NiceKingWei/refinement.js"
  },
  "dependencies": {
    "acorn": "^5.6.2"
  },
  "devDependencies": {
    "@types/acorn": "^4.0.3",
    "@types/node": "^10.3.2",
    "gulp": "^4.0.0",
    "gulp-typescript": "^4.0.2",
    "typescript": "^2.9.1"
  }
}