package.json

{
  "name": "agda-mode",
  "main": "./lib/js/bundled.js",
  "version": "0.9.12",
  "description": "agda-mode on Atom",
  "scripts": {
    "keymap-gen": "./keymap.el generate",
    "keymap-print": "./keymap.el print",
    "start": "bsb -clean && bsb -make-world -w",
    "build": "bsb -make-world && npx webpack --mode=production",
    "test": "atom -t lib/js/test"
  },
  "activationCommands": {
    "atom-text-editor": [
      "agda-mode:load"
    ],
    "atom-text-editor.agda": [
      "agda-mode:input-symbol",
      "agda-mode:query-symbol",
      "agda-mode:go-to-definition"
    ],
    "atom-text-editor[data-grammar~='agda']": [
      "agda-mode:input-symbol",
      "agda-mode:query-symbol",
      "agda-mode:go-to-definition"
    ]
  },
  "atomTestRunner": "atom-mocha",
  "repository": "https://github.com/banacorn/agda-mode",
  "license": "MIT",
  "engines": {
    "atom": ">=1.19.0 <2.0.0"
  },
  "devDependencies": {
    "atom-mocha": "^2.2.0",
    "bs-mocha": "^0.5.0",
    "chai": "^4.2.0",
    "diff": "^4.0.1",
    "git-branch": "^2.0.1",
    "node-dir": "^0.1.17",
    "webpack": "^4.39.1",
    "webpack-cli": "^3.1.2"
  },
  "dependencies": {
    "@glennsl/bs-json": "^5.0.1",
    "@glennsl/rebase": "github:glennsl/rebase",
    "bs-platform": "^7.2",
    "bs-webapi": "^0.15.3",
    "bs-nd": "^0.1.5",
    "bs-atom2": "^1.40.1",
    "compare-versions": "^3.5.1",
    "reason-promise": "^1.0.1",
    "react": "^16.9.0",
    "react-dom": "^16.9.0",
    "reason-react": ">=0.7.0",
    "reason-react-update": "^0.1.1"
  }
}