@@ -16,6 +16,8 @@ appropriate OS module. The result of each Vere 'poke' is a pair of
1616`<output events, new state>`. Events are typed, and each has an explicit
1717call-stack structure indicating the event's source module in Arvo.
1818
19+For a more in-depth technical introduction, see [Arvo Overview](@/docs/arvo/arvo.md).
20+
1921Arvo modules are also called 'vanes'. Arvo's vanes are:
2022
2123- [Ames](@/docs/arvo/ames/ames.md): defines and implements Urbit's encrypted P2P network protocol, as well