git.iko.soy/urbit.org
on master help sign in
adds child links to vere.udon and nock.udon
commit8e970e79b687fda783b579f09268869e9786d481 authorRobert <robert@tlon.io> dateTue 5 Feb 2019, 16:51 (8 years ago) parent7a4aac0
2 files changed+38−2
compare with master
unifiedsplit
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.