@@ -16,6 +16,8 @@ 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
16`<output events, new state>`. Events are typed, and each has an explicit
17call-stack structure indicating the event's source module in Arvo.
17call-stack structure indicating the event's source module in Arvo.
19+For a more in-depth technical introduction, see [Arvo Overview](@/docs/arvo/arvo.md).
19Arvo modules are also called 'vanes'. Arvo's vanes are:
21Arvo modules are also called 'vanes'. Arvo's vanes are:
21- [Ames](@/docs/arvo/ames/ames.md): defines and implements Urbit's encrypted P2P network protocol, as well
23- [Ames](@/docs/arvo/ames/ames.md): defines and implements Urbit's encrypted P2P network protocol, as well