@@ -20,7 +20,7 @@ companion to this document, and some segments are direct quotes or paraphrases,
2020
2121## Prerequisites
2222
23−The conceptual section titled [What is Arvo?](#what-is-arvo-) can be understood
23+The conceptual section titled [What is Arvo?](#what-is-arvo) can be understood
2424without knowing Hoon, the Urbit programming language. The technical section
2525titled [The kernel](#the-kernel) will require Chapter One of the [Hoon
2626tutorial](/docs/hoon/hoon-school/) for full understanding, and some
@@ -30,26 +30,6 @@ Overview](/docs/system-overview/).
3030
3131We also suggest to the reader to peruse the [glossary](/docs/glossary/) before diving into this article. It will provide the initial scaffolding that you will be able to gradually fill in as you read this article and go deeper into the alternate universe of computing that is Urbit.
3232
33−
34−# Table of Contents
35−
36−- [What is Arvo?](#what-is-arvo)
37− * [An operating function](#an-operating-function)
38− + [Determinism](#determinism)
39− + [Event log](#event-log)
40− * [Solid state interpreter](#solid-state-interpreter)
41− + [Over-the-air updates](#over-the-air-updates)
42− + [ACID Database](#acid-database)
43− + [Single-level store](#single-level-store)
44− + [Non-preemptive](#non-preemptive)
45−- [The kernel](#the-kernel)
46− * [Overall structure](#overall-structure)
47− + [Formal interface](#formal-interface)
48− + [Types](#types)
49− + [Arvo cores](#arvo-cores)
50− * [The state](#the-state)
51− * [Vanes](#vanes)
52−
5333# What is Arvo?
5434
5535Arvo is a [non-preemptive](#non-preemptive)
@@ -567,8 +547,8 @@ As of this writing, we have nine vanes, which each provide the following service
567547- [Ford](/docs/arvo/ford/ford): a build system also utilized for marks
568548 (file types) and debugging.
569549- [Gall](/docs/userspace/gall/gall): manages our userspace applications. `%gall` keeps state and manages subscribers.
570−- `Iris`: an http client.
571−- `Jael`: storage for Azimuth information.
550+- [Iris](/docs/arvo/iris/iris): an http client.
551+- [Jael](/docs/arvo/jael/jael): storage for Azimuth information.
572552
573553#### Applying your knowledge
574554