package.json

{
  "name": "okay-prove",
  "version": "0.0.4",
  "description": "Minimal package for generating propositional logic proofs",
  "license": "MIT",
  "repository": "IsaacShelton/okay-prove",
  "main": "./dist/index.js",
  "types": "dist/index.d.ts",
  "scripts": {
    "it": "npm run build && node dist/index.js",
    "start": "nodemon --watch 'src/**/*.ts' --exec 'ts-node' src/index.ts",
    "create": "npm run build && npm run test",
    "build": "tsc -p .",
    "local": "npm run build && npm i -g && okay-prove",
    "install": "npm run build && npm i -g",
    "refresh": "rm -rf ./node_modules ./package-lock.json && npm install",
    "test": "npm run build && jest"
  },
  "dependencies": {
    "deep-copy-ts": "^0.5.4",
    "ts-custom-error": "^3.2.0",
    "ts-unimplemented": "^1.0.0"
  },
  "devDependencies": {
    "@types/jest": "^27.4.0",
    "@types/node": "^17.0.18",
    "jest": "^27.5.1",
    "nodemon": "^2.0.15",
    "ts-jest": "^27.1.3",
    "ts-node": "^10.5.0",
    "typescript": "^4.5.5"
  }
}