Files
cannorin.net/packages/kripke/package.json
dependabot[bot] 7342295477 build(deps-dev): bump typescript from 5.7.3 to 5.9.3 (#157)
Bumps [typescript](https://github.com/microsoft/TypeScript) from 5.7.3 to 5.9.3.
- [Release notes](https://github.com/microsoft/TypeScript/releases)
- [Commits](https://github.com/microsoft/TypeScript/compare/v5.7.3...v5.9.3)

---
updated-dependencies:
- dependency-name: typescript
  dependency-version: 5.9.3
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-03-03 23:15:27 +09:00

27 lines
554 B
JSON

{
"name": "@cannorin/kripke",
"version": "0.0.1",
"private": true,
"exports": {
".": "./src/index.ts",
"./syntax": "./src/syntax.ts",
"./semantics": "./src/semantics.ts",
"./parser": "./src/parser.ts",
"./sat": "./src/sat.ts"
},
"scripts": {
"build": "tsc",
"lint": "biome check",
"fix": "biome check --fix",
"test": "vitest"
},
"devDependencies": {
"typescript": "5.9.3",
"vitest": "4.0.18"
},
"dependencies": {
"@cannorin/utils": "workspace:*",
"typescript-parsec": "0.3.4"
}
}