package.json

{
  "name": "echidna-ui",
  "version": "0.1.0",
  "description": "ECHIDNA Neurosymbolic Theorem Proving Platform - ReScript UI",
  "license": "AGPL-3.0-or-later",
  "type": "module",
  "scripts": {
    "res:build": "rescript build",
    "res:dev": "rescript build -w",
    "res:clean": "rescript clean",
    "dev": "deno run --allow-net --allow-read --allow-env --watch src/Server.bs.js",
    "build": "rescript build",
    "serve": "deno run --allow-net --allow-read --allow-env src/Server.bs.js",
    "check": "rescript build && deno check src/Main.bs.js"
  },
  "keywords": [
    "theorem-proving",
    "neurosymbolic",
    "rescript",
    "deno",
    "proof-assistant"
  ],
  "devDependencies": {
    "@rescript/core": "^1.2.0",
    "@rescript/react": "^0.13.1",
    "rescript": "^12.0.0"
  },
  "dependencies": {
    "react": "^18.2.0",
    "react-dom": "^18.2.0",
    "rescript-webapi": "^0.10.0"
  }
}