Skip to content
This repository was archived by the owner on Oct 31, 2024. It is now read-only.

Files

Latest commit

Feb 15, 2024
7030341 · Feb 15, 2024

History

History

docs

The Topos specification and development internals documentation

The specification doc is compiled from several source files with mdBook. To view it live, locally, from the repo root:

Ensure graphviz and plantuml are installed:

brew install graphviz plantuml # for macOS
sudo apt-get install graphviz plantuml # for Ubuntu/Debian

Then install and build the book:

cargo install mdbook mdbook-plantuml mdbook-linkcheck mdbook-graphviz
mdbook serve doc
open http://localhost:3000