@@ -20,7 +20,7 @@ companion to this document, and some segments are direct quotes or paraphrases,
21## Prerequisites
21## Prerequisites
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
24without knowing Hoon, the Urbit programming language. The technical section
24without knowing Hoon, the Urbit programming language. The technical section
25titled [The kernel](#the-kernel) will require Chapter One of the [Hoon
25titled [The kernel](#the-kernel) will require Chapter One of the [Hoon
26tutorial](/docs/hoon/hoon-school/) for full understanding, and some
26tutorial](/docs/hoon/hoon-school/) for full understanding, and some
@@ -30,26 +30,6 @@ Overview](/docs/system-overview/).
31We 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.
31We 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.
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)
49− + [Arvo cores](#arvo-cores)
50− * [The state](#the-state)
53# What is Arvo?
33# What is Arvo?
55Arvo is a [non-preemptive](#non-preemptive)
35Arvo is a [non-preemptive](#non-preemptive)
@@ -567,8 +547,8 @@ As of this writing, we have nine vanes, which each provide the following service
567- [Ford](/docs/arvo/ford/ford): a build system also utilized for marks
547- [Ford](/docs/arvo/ford/ford): a build system also utilized for marks
568 (file types) and debugging.
548 (file types) and debugging.
569- [Gall](/docs/userspace/gall/gall): manages our userspace applications. `%gall` keeps state and manages subscribers.
549- [Gall](/docs/userspace/gall/gall): manages our userspace applications. `%gall` keeps state and manages subscribers.
570−- `Iris`: an http client.
550+- [Iris](/docs/arvo/iris/iris): an http client.
571−- `Jael`: storage for Azimuth information.
551+- [Jael](/docs/arvo/jael/jael): storage for Azimuth information.
573#### Applying your knowledge
553#### Applying your knowledge