5 commits

Author	SHA1	Message	Date
Valentin Gagarin	39f01176a7	design -> architecture, add motivation ... following ideas found in Architecture of Gazelle[1] [1]: 56d35f8db0/Design.rst	2022-08-04 12:37:47 +02:00
John Ericson	4e2d5ae202	doc: Store entry -> store object ... This matches the terminology in Eelco's thesis.	2022-08-04 12:37:46 +02:00
John Ericson	e308602fdf	Update doc/manual/src/design/store/drvs/drvs.md ... Co-authored-by: Matthieu Coudron <teto@users.noreply.github.com>	2022-08-04 12:37:46 +02:00
John Ericson	678d75baea	Start on the derivations section	2022-08-04 12:37:46 +02:00
John Ericson	e64633f98f	Flesh out TOC	2022-08-04 12:37:46 +02:00