This website is built using Docusaurus, a modern static website generator.
$ pnpm i
$ pnpm start
This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.
$ pnpm build:site
This command generates static content into the build directory and can be served using any static contents hosting service.
Deployment is handled by the Deploy Website workflow.
pnpm gen-docs-- Generate Markdown Documents from the Scheme.