package.json

{
  "name": "language-idris",
  "main": "./lib/language-idris",
  "version": "0.5.1",
  "private": true,
  "description": "A plugin for developing with Idris",
  "repository": "https://github.com/idris-hackers/atom-language-idris",
  "license": "MIT",
  "engines": {
    "atom": ">=0.180.0"
  },
  "contributors": [
    {
      "name": "Morten Fangel",
      "url": "http://sevengoslings.net"
    },
    {
      "name": "Nicolas Gagliani",
      "url": "http://twitter.com/archaeron"
    },
    {
      "name": "Heather",
      "url": "https://github.com/Heather"
    },
    {
      "name": "David Christiansen",
      "url": "http://www.davidchristiansen.dk"
    },
    {
      "name": "Edwin Brady",
      "url": "https://edwinb.wordpress.com/"
    }
  ],
  "providedServices": {
    "autocomplete.provider": {
      "versions": {
        "2.0.0": "provide"
      }
    }
  },
  "consumedServices": {},
  "dependencies": {
    "atom-message-panel": "^1.3.0",
    "bennu": "17.3.0",
    "nu-stream": "3.3.1",
    "rx-lite": "4.0.0",
    "@cycle/core": "3.1.0",
    "@cycle/dom": "5.3.0"
  }
}