Development environment#

Documentation#

The outline of this documentation is too complex to fit into a single README.md.

Hugo is used to render the static website hosted at Github Pages, and Hugo Book is chosen as the theme. A Github Actions workflow is configured to automatically build and publish the changes merged to the main branch.

Please follow the instructions to setup the local development environment.