@@ -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)