@@ -11,14 +11,14 @@ itself from over the network without downtime. The Arvo kernel proper is quite
1111simple -- it's only about 600 lines of code, excluding its various modules.
1212
1313The 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
15−appropriate OS module. The result of each Vere 'poke' is a pair of `<output
16−events, new state>`. Events are typed, and each has an explicit call-stack
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
16+`<output events, new state>`. Events are typed, and each has an explicit call-stack
1717structure indicating the event's source module in Arvo.
1818
1919For a more in-depth technical introduction, see [Arvo Overview](/docs/arvo/overview).
2020
21−Arvo modules are also called 'vanes'. Arvo's vanes are:
21+Arvo modules are also called 'vanes'. Arvo's vanes are:
2222
2323- [Ames](/docs/arvo/ames/ames): defines and implements Urbit's encrypted P2P network protocol, as well
2424 as Urbit's identity protocol.
@@ -30,4 +30,3 @@ Arvo modules are also called 'vanes'. Arvo's vanes are:
3030- [Gall](/docs/userspace/gall/gall): application sandbox and manager.
3131- [Iris](/docs/arvo/iris/iris-api): HTTP client.
3232- [Jael](/docs/arvo/jael/jael-api): Public and private key storage.
33−