on master help sign in
Various fixes.
5b312f9C. Guy Yarvin
docs/programming.md+5−2
@@ -4,6 +4,9 @@ sort: 3
4
4
5# Programming
5# Programming
6
6
7−Nock is our interpreter, Hoon is our language and Arvo is our operating environment.
7+Most people should start by learning Hoon. If you're a madman
8+and just want something fun fast, skim the Hoon docs, then go to
9+[Arvo systems programming](arvo/system). If you're interested in
10+the theory, learn Nock first; otherwise, learn it last.
8
11
9−<kids />
12+<kids/>
docs/programming/hoon.md+1−1
@@ -5,6 +5,6 @@ title: Hoon
5
5
6## Hoon
6## Hoon
7
7
8−Hoon is our programming language
8+Hoon is a strict, typed, pure functional language that compiles itself to Nock.
9
9
10<list src="."></list>
10<list src="."></list>
docs/programming/nock.md+1−1
@@ -5,6 +5,6 @@ title: Nock
5
5
6## Nock
6## Nock
7
7
8−This is our great interpreter.
8+Nock is a simple, Turing-complete combinator interpreter.
9
9
10<list src="."></list>
10<list src="."></list>