on master help sign in
Merge pull request #379 from urbit/child-links

adds child links to vere.udon and nock.udon

commit6cedc503d4a195b1b241e2a0201c5c5f1ee2271a authorDavid Kerschner <dkerschner@hcoop.net> dateWed 6 Feb 2019, 14:25 (8 years ago) parent058fa778e970e7
2 files changed+38−2
learn/arvo/nock.udon+15−1 learn/arvo/vere.udon+23−1
learn/arvo/nock.udon+15−1
@@ -11,4 +11,18 @@
1111
1212Nock is the low-level functional programming language that is interpreted by Vere. You don't need to know Nock to write Hoon, or even to work on most parts of Vere. But if you want to understand the foundations of Urbit and are mathematically-inclined, dive right in.
1313
14−;list;
14+### [Nock Definition](definition)
15+
16+The Nock specification.
17+
18+### [An explanation of Nock](explanation)
19+
20+A comprehensive walkthrough of the Nock spec.
21+
22+### [Nock by hand](example)
23+
24+Learn Nock by example.
25+
26+### [Nock Implementations](implementations)
27+
28+The many ways that Nock has been implemented.
learn/arvo/vere.udon+23−1
@@ -13,4 +13,26 @@ Keep reading if you're planning to work on the Urbit interpreter, you're a
1313language implementation geek, or you don't really understand anything until
1414you've seen the actual structs.
1515
16−;list;
16+### [C runtime system](runtime)
17+
18+The Urbit interpreter is built on a Nock runtime system written
19+in C, `u3`. This section is a relatively complete description.
20+
21+### [c3: C in Urbit](c)
22+
23+Under `u3` is the simple `c3` layer, which is just how we write C
24+in Urbit.
25+
26+### [u3: Land of nouns](nouns)
27+
28+The division between `c3` and `u3` is that you could theoretically
29+imagine using `c3` as just a generic C environment. Anything to do
30+with nouns is in `u3`.
31+
32+### [u3: API overview by prefix](api)
33+
34+A walkthrough of each of the `u3` modules.
35+
36+### [How to write a jet](jetting)
37+
38+A jetting guide by for new Urbit developers.