package.json

{
  "name": "cubical-1lab",
  "version": "1.0.0",
  "description": " A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory ",
  "main": "index.js",
  "scripts": {
    "test": "echo \"Error: no test specified\" && exit 1"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/plt-amy/cubical-1lab.git"
  },
  "author": "Amélia Liao et. al.",
  "license": "AGPL-3.0",
  "bugs": {
    "url": "https://github.com/plt-amy/cubical-1lab/issues"
  },
  "homepage": "https://github.com/plt-amy/cubical-1lab#readme",
  "devDependencies": {
    "@types/d3": "^7.1.0",
    "d3": "^7.4.4",
    "esbuild": "^0.14.38",
    "typescript": "^4.6.4",
    "katex": "^0.15.3"
  },
  "dependencies": {
    "fast-fuzzy": "^1.11.1"
  }
}