package.json

{
  "name": "agda-cli",
  "version": "1.0.3",
  "description": "A command-line tool to perform Agda commands like checking, running, and compiling",
  "main": "agda-cli.js",
  "bin": {
    "agda-cli": "./agda-cli.js",
    "agda-js": "./agda-js.js",
    "agda-compile": "./agda-compile.js"
  },
  "scripts": {
    "test": "echo \"Error: no test specified\" && exit 1"
  },
  "keywords": [
    "agda",
    "check",
    "cli",
    "compile",
    "javascript"
  ],
  "author": "Lorenzo Battistela",
  "license": "ISC",
  "repository": {
    "type": "git",
    "url": "https://github.com/Lorenzobattistela/agda-cli.git"
  },
  "bugs": {
    "url": "https://github.com/Lorenzobattistela/agda-cli/issues"
  },
  "homepage": "https://github.com/Lorenzobattistela/agda-cli#readme",
  "dependencies": {
    "child_process": "^1.0.2",
    "fs": "^0.0.1-security",
    "path": "^0.12.7",
    "readline": "^1.3.0"
  }
}