git.iko.soy/urbit.org
on master help sign in
remove arvo overview ToC
35ef7f4drbeefsupreme
content/docs/arvo/overview.md+1−21
compare with master
unifiedsplit
@@ -20,7 +20,7 @@ companion to this document, and some segments are direct quotes or paraphrases,
20
20
21## Prerequisites
21## Prerequisites
22
22
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/).
30
30
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.
32
32
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−
53# What is Arvo?
33# What is Arvo?
54
34
55Arvo is a [non-preemptive](#non-preemptive)
35Arvo is a [non-preemptive](#non-preemptive)