John Ericson 72d0f7b619 Document "hash derivation quotiented", resolution, and build trace ...

Progress on #13405, which asks for an explicit characterisation of the
equivalence relation like the one given here.

Also progress on #11895, because we're using the term "build trace
entry" instead of "realisation".

Mention #9259, a future work item.

Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>

2025-11-03 15:18:18 -05:00

..

head.hbs

Document "hash derivation quotiented", resolution, and build trace

2025-11-03 15:18:18 -05:00

highlight.js

doc/manual: don't need to copy highlight.js manually

2021-08-04 19:47:05 -07:00