on master help sign in
Fixes some Hoon empty lines in docs/arvo.
d7bdce2Keaton Dunsford
docs/arvo/basic.md+4−6
@@ -68,14 +68,14 @@ Here is the hoon solution (which should be in your pier directory under
68 :::: ~sivtyv-barnel
68 :::: ~sivtyv-barnel
69 ::
69 ::
70 |%
70 |%
71− ++ three
71+ ++ three
72 |= a/@
72 |= a/@
73 =| b/@
73 =| b/@
74 |- ^- @u
74 |- ^- @u
75 ?: (lth a b)
75 ?: (lth a b)
76 0
76 0
77 (add b $(b (add 3 b)))
77 (add b $(b (add 3 b)))
78−
78+ ::
79 ++ five
79 ++ five
80 |= a/@
80 |= a/@
81 =| b/@
81 =| b/@
@@ -85,7 +85,7 @@ Here is the hoon solution (which should be in your pier directory under
85 ?: =((mod b 3) 0)
85 ?: =((mod b 3) 0)
86 $(b (add b 5))
86 $(b (add b 5))
87 (add b $(b (add b 5)))
87 (add b $(b (add b 5)))
88−
88+ ::
89 ++ sum
89 ++ sum
90 |= a/@u
90 |= a/@u
91 (add (five a) (three a))
91 (add (five a) (three a))
@@ -201,7 +201,7 @@ takes two children:
201
201
202### ++ three
202### ++ three
203
203
204− ++ three
204+ ++ three
205 |= a/@
205 |= a/@
206 =| b/@
206 =| b/@
207 |- ^- @u
207 |- ^- @u
@@ -313,5 +313,3 @@ calling a function with *N* arguments. More on this later.
313 formed from adjacent unicode bytes -- a "c string". To produce a
313 formed from adjacent unicode bytes -- a "c string". To produce a
314 cord, enclose text within single quotes. To set the type of an
314 cord, enclose text within single quotes. To set the type of an
315 argument to a cord, use `@t`.
315 argument to a cord, use `@t`.
316−
317−
docs/arvo/subject.md+2−3
@@ -46,7 +46,7 @@ Hoon, we call the code executed the "formula" and its context the
46 ?: (lth a b) ::
46 ?: (lth a b) ::
47 0 ::
47 0 ::
48 (add b $(b (add 3 b))) ::
48 (add b $(b (add 3 b))) ::
49− ::
49+ :: ::
50 ++ five ::
50 ++ five ::
51 |= a/@ :: subject
51 |= a/@ :: subject
52 =| b/@ ::
52 =| b/@ ::
@@ -56,7 +56,7 @@ Hoon, we call the code executed the "formula" and its context the
56 ?: =((mod b 3) 0) ::
56 ?: =((mod b 3) 0) ::
57 $(b (add b 5)) ::
57 $(b (add b 5)) ::
58 (add b $(b (add b 5))) ::
58 (add b $(b (add b 5))) ::
59− ::
59+ :: ::
60 ++ sum ::
60 ++ sum ::
61 |= {a/@u b/@u} ::
61 |= {a/@u b/@u} ::
62 (add (five a) (three b)) ::
62 (add (five a) (three b)) ::
@@ -103,4 +103,3 @@ Cheatsheet:
103- `(gte a b)` tests whether `a` is greater than or equal to `b`.
103- `(gte a b)` tests whether `a` is greater than or equal to `b`.
104- `(mod a b)` runs the modulo operation on two atoms.
104- `(mod a b)` runs the modulo operation on two atoms.
105- See the basic math section in `/arvo/hoon.hoon` for more info.
105- See the basic math section in `/arvo/hoon.hoon` for more info.
106−