mirror of
https://github.com/zooai/proofs.git
synced 2026-10-30 14:49:47 +00:00
zeekayandHanzo Dev
d6c799c1f6
typescript 7.0.2 is the native compiler and exports no JavaScript API, so next cannot read it. It comes in aliased as tsgo and does the typechecking; typescript stays on the 6 line for the tools. site and formal/site each report 1 diagnostic under both compilers. Co-authored-by: Hanzo Dev <[email protected]>
32 lines
800 B
JSON
32 lines
800 B
JSON
{
|
|
"name": "@luxfi/proofs-site",
|
|
"version": "1.0.0",
|
|
"description": "Lux Network formal proofs - proofs.lux.network",
|
|
"private": true,
|
|
"scripts": {
|
|
"dev": "next dev",
|
|
"build": "next build",
|
|
"start": "next start",
|
|
"typecheck": "node_modules/tsgo/bin/tsc --noEmit --incremental false",
|
|
"lint": "next lint"
|
|
},
|
|
"dependencies": {
|
|
"next": "^16.0.0",
|
|
"react": "^19.1.0",
|
|
"react-dom": "^19.1.0",
|
|
"clsx": "^2.1.1",
|
|
"lucide-react": "^0.475.0",
|
|
"next-themes": "^0.4.6"
|
|
},
|
|
"devDependencies": {
|
|
"@types/node": "^22.12.0",
|
|
"@types/react": "^19.1.0",
|
|
"@types/react-dom": "^19.1.0",
|
|
"tsgo": "npm:[email protected]",
|
|
"typescript": "6.0.3",
|
|
"tailwindcss": "^4.1.0",
|
|
"@tailwindcss/postcss": "^4.1.0",
|
|
"postcss": "^8.5.0"
|
|
}
|
|
}
|