git.iko.soy/urbit.org
on master help sign in
adds child links to vere.udon and nock.udon
8e970e7Robert
learn/arvo/nock.udon+15−1
compare with master
unifiedsplit
@@ -11,4 +11,18 @@
11
11
12Nock 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.
12Nock 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.
13
13
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
13language implementation geek, or you don't really understand anything until
13language implementation geek, or you don't really understand anything until
14you've seen the actual structs.
14you've seen the actual structs.
15
15
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.