@@ -216,7 +216,7 @@ Database theory studies in precise terms the possible properties of anything tha
216It is easy to think that "completed transaction will survive permanently"
216It is easy to think that "completed transaction will survive permanently"
217along with "the state of Arvo is pure function of its event log" implies that
217along with "the state of Arvo is pure function of its event log" implies that
218nothing can ever be deleted. This is not quite true.
218nothing can ever be deleted. This is not quite true.
219−[Clay](@/docs/tutorials/arvo/clay.md) is our [referentially
219+[Clay](@/docs/arvo/clay/clay.md) is our [referentially
220transparency](https://en.wikipedia.org/wiki/Referential_transparency)
220transparency](https://en.wikipedia.org/wiki/Referential_transparency)
221file system, which could naively be thought to mean that since data must be
221file system, which could naively be thought to mean that since data must be
222immutable, files cannot be deleted. However, Clay can replace a file with a
222immutable, files cannot be deleted. However, Clay can replace a file with a
@@ -563,7 +563,7 @@ As of this writing, we have nine vanes, which each provide the following service
564- [Ames](@/docs/arvo/ames/ames.md): the name of both our network and the vane that communicates over it.
564- [Ames](@/docs/arvo/ames/ames.md): the name of both our network and the vane that communicates over it.
565- [Behn](@/docs/arvo/behn/behn.md): a simple timer.
565- [Behn](@/docs/arvo/behn/behn.md): a simple timer.
566−- [Clay](@/docs/tutorials/arvo/clay.md): our version-controlled, referentially- transparent, and global filesystem.
566+- [Clay](@/docs/arvo/clay/clay.md): our version-controlled, referentially- transparent, and global filesystem.
567- [Dill](@/docs/tutorials/arvo/dill.md): a terminal driver. Unix sends keyboard events to `%dill` from the console, and `%dill` produces terminal output.
567- [Dill](@/docs/tutorials/arvo/dill.md): a terminal driver. Unix sends keyboard events to `%dill` from the console, and `%dill` produces terminal output.
568- [Eyre](@/docs/tutorials/arvo/eyre.md): an http server. Unix sends http messages to `%eyre`, and `%eyre` produces http messages in response.
568- [Eyre](@/docs/tutorials/arvo/eyre.md): an http server. Unix sends http messages to `%eyre`, and `%eyre` produces http messages in response.
569- [Ford](@/docs/tutorials/arvo/ford.md): a build system also utilized for marks
569- [Ford](@/docs/tutorials/arvo/ford.md): a build system also utilized for marks