@@ -11,14 +11,14 @@ itself from over the network without downtime. The Arvo kernel proper is quite
11simple -- it's only about 600 lines of code, excluding its various modules.
11simple -- it's only about 600 lines of code, excluding its various modules.
13The Urbit transition function is implemented in Arvo. Upon being 'poked' by Vere
13The Urbit transition function is implemented in Arvo. Upon being 'poked' by Vere
14−with the pair of `<input event, state>`, Arvo directs the event to the
14+with the pair of `<input event, state>`, Arvo directs the event to the
15−appropriate OS module. The result of each Vere 'poke' is a pair of `<output
15+appropriate OS module. The result of each Vere 'poke' is a pair of
16−events, new state>`. Events are typed, and each has an explicit call-stack
16+`<output events, new state>`. Events are typed, and each has an explicit call-stack
17structure indicating the event's source module in Arvo.
17structure indicating the event's source module in Arvo.
19For a more in-depth technical introduction, see [Arvo Overview](/docs/arvo/overview).
19For a more in-depth technical introduction, see [Arvo Overview](/docs/arvo/overview).
21−Arvo modules are also called 'vanes'. Arvo's vanes are:
21+Arvo modules are also called 'vanes'. Arvo's vanes are:
23- [Ames](/docs/arvo/ames/ames): defines and implements Urbit's encrypted P2P network protocol, as well
23- [Ames](/docs/arvo/ames/ames): defines and implements Urbit's encrypted P2P network protocol, as well
24 as Urbit's identity protocol.
24 as Urbit's identity protocol.
@@ -30,4 +30,3 @@ Arvo modules are also called 'vanes'. Arvo's vanes are:
30- [Gall](/docs/userspace/gall/gall): application sandbox and manager.
30- [Gall](/docs/userspace/gall/gall): application sandbox and manager.
31- [Iris](/docs/arvo/iris/iris-api): HTTP client.
31- [Iris](/docs/arvo/iris/iris-api): HTTP client.
32- [Jael](/docs/arvo/jael/jael-api): Public and private key storage.
32- [Jael](/docs/arvo/jael/jael-api): Public and private key storage.