@openreasoning/fol-types/package.json

Types of First-Order Logic formula

{
  "name": "@openreasoning/fol-types",
  "version": "0.0.2",
  "description": "Types of First-Order Logic formula",
  "main": "dist/index.js",
  "types": "dist/index.d.ts",
  "scripts": {
    "test": "echo \"Error: no test specified\" && exit 1"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/OpenReasoning/fol-types-js.git"
  },
  "keywords": [
    "fol"
  ],
  "author": "Matthew Peveler <matt.peveler@gmail.com>",
  "license": "MIT",
  "bugs": {
    "url": "https://github.com/OpenReasoning/fol-types-js/issues"
  },
  "homepage": "https://github.com/OpenReasoning/fol-types-js#readme",
  "devDependencies": {
    "typescript": "^3.4.5"
  }
}