// Installing pardes: the clone and the build, included by setup.typ and by
// the site's landing page, so it is written once. The mirrors come from
// `project` in style.typ.
#import "style.typ": cmd, project

#let first = project.mirrors.first()
#cmd("git clone " + first.clone + " && cd pardes")
Every mirror holds the same tree: #project.mirrors.map(m => link(m.web, m.name)).join(", ").

With Zig 0.16 (the build fetches everything else):
#cmd("# pardes, in a terminal\nzig build -Dplatform=tty --prefix ~/.local")
#cmd("# pardes-gui, its own window\nzig build -Dplatform=gui --prefix ~/.local")
Then run `pardes` or `pardes FILE`.