zeekayandHanzo Dev d6c799c1f6 Typecheck on the native compiler, keep 6 for the tools ...

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]>

2026-09-17 00:20:38 -07:00

..

.github/workflows

merge: absorb /Users/z/work/zoo/formal into proofs (de-duplicate)

2026-05-12 21:13:00 -07:00

src

Publish under the org, not a person

2026-09-01 08:58:14 -07:00

.gitignore

merge: absorb /Users/z/work/zoo/formal into proofs (de-duplicate)

2026-05-12 21:13:00 -07:00

next.config.mjs

merge: absorb /Users/z/work/zoo/formal into proofs (de-duplicate)

2026-05-12 21:13:00 -07:00

package-lock.json

Typecheck on the native compiler, keep 6 for the tools

2026-09-17 00:20:38 -07:00

package.json

Typecheck on the native compiler, keep 6 for the tools

2026-09-17 00:20:38 -07:00

postcss.config.mjs

merge: absorb /Users/z/work/zoo/formal into proofs (de-duplicate)

2026-05-12 21:13:00 -07:00

tsconfig.json

merge: absorb /Users/z/work/zoo/formal into proofs (de-duplicate)

2026-05-12 21:13:00 -07:00