on master help sign in
changes from master
commitb3bdc85c5c862c2907d5b950d5d1b2468d901b6c authorGalen Wolfe-Pauly <root@office-for.com> dateMon 8 Feb 2016, 14:08 (11 years ago) parentddd3763
18 files changed+60−55
.gitignore+4 docs.md+2−2 docs/dev/hoon/principles/1-twigs.md+1−1 docs/dev/hoon/principles/2-syntax.md+2−1 docs/dev/hoon/reference/odors.md+20−20 docs/dev/hoon/reference/pronunciation.md+4−4 docs/dev/hoon/runes/sg/sgcn.md+1−1 docs/dev/hoon/runes/sm.md+1−1 docs/dev/hoon/runes/sm/smsg.md+1−1 docs/dev/hoon/runes/sm/smzz.md+1−1 docs/dev/hoon/runes/ts/tssg.md+1−1 docs/dev/hoon/runes/wt/wthz.md+1−1 docs/dev/hoon/runes/wt/wtls.md+1−1 docs/dev/hoon/runes/zp/zpzp.md+1−1 docs/theory/whitepaper.md+6−5 docs/user/appliance.md+1−1 docs/user/intro.md+7−7 docs/user/talk.md+5−6
.gitignorenew file+4
@@ -0,0 +1,4 @@
1+# OS
2+.DS_Store
3+# etc
4+*.swn
docs.md+2−2
@@ -4,7 +4,7 @@ layout: no-anchor
44logo: black
55---
66
7−<div class="short lead">
7+<div class="short">
88
99# Urbit documentation
1010
@@ -19,6 +19,6 @@ user doc; it doesn't assume any prior knowledge.
1919The most fun thing to do with Urbit is code, but the developer
2020doc remains under construction. Sorry. We'll have more soon.
2121
22−<list dataSort="true" class="children"></list>
22+<list dataSort="true"></list>
2323
2424</div>
docs/dev/hoon/principles/1-twigs.md+1−1
@@ -36,7 +36,7 @@ function is the `formula`. The input to the function is the
3636
3737## From Hoon to Nock
3838
39−The Hoon parser turns an source expression (even one as simple as
39+The Hoon parser turns a source expression (even one as simple as
4040`42` from the last chapter) into a noun called a `twig`. If you
4141know what an AST is, a twig is an AST. (If you don't know what
4242an AST is, it's not necessarily worth the student loans.)
docs/dev/hoon/principles/2-syntax.md+2−1
@@ -177,6 +177,7 @@ genuinely surprised at how easy they are to remember:
177177 doq " lus + tis =
178178 dot . pam & wut ?
179179 fas / pat @ zap !
180+ sig ~
180181```
181182It's fun to confuse the muggles by using these outside Urbit.
182183
@@ -193,7 +194,7 @@ A few digraphs also have irregular sounds:
193194-> lark
194195-< lush
195196+> dark
196−+< dish
197++< dush
197198```
198199
199200You might remember wondering where the "lark syntax" of chapter 1
docs/dev/hoon/reference/odors.md+20−20
@@ -146,7 +146,7 @@ more UTF-32 words.
146146
147147##### Examples
148148
149− ~zod/try=> :type; ~-foo
149+ ~zod/try=> ? ~-foo
150150 ~-foo
151151 @c
152152 ~zod/try=> ~-i~2764.u
@@ -186,12 +186,12 @@ Note: the time of day and/or millisecond fragment is optional.
186186
187187 ~zod/try=> ~2014.1.1
188188 ~2014.1.1
189− ~zod/try=> :type; ~2014.1.1
189+ ~zod/try=> ? ~2014.1.1
190190 ~2014.1.1
191191 @da
192192 ~zod/try=> ~2014.1.1..01.01.01
193193 ~2014.1.1..01.01.01
194− ~zod/try=> :type; ~2014.1.1..01.01.01
194+ ~zod/try=> ? ~2014.1.1..01.01.01
195195 ~2014.1.1..01.01.01
196196 @da
197197 ~zod/try=> ~2014.1.1..01.01.01..1234
@@ -230,7 +230,7 @@ are in order. The largest measurement is preceded by a `~`.
230230
231231 ~zod/try=> ~d1.h19.m5.s29
232232 ~d1.h19.m5.s29
233− ~zod/try=> :type; ~d1.h19.m5.s29
233+ ~zod/try=> ? ~d1.h19.m5.s29
234234 ~d1.h19.m5.s29
235235 @dr
236236 ~zod/try=> `@dr`(div ~s1 1.000)
@@ -273,7 +273,7 @@ forms.
273273
274274 ~zod/try=> `@ud`.y
275275 0
276− ~zod/try=> :type; .y
276+ ~zod/try=> ? .y
277277 %.y
278278 {%.y %.n}
279279 ~zod/try=> `@ud`.n
@@ -294,7 +294,7 @@ Nil
294294Atoms of the odor `@n` indicate an absence of information, as in a list
295295terminator. The only value is `~`, which is just `0`.
296296
297− ~zod/try=> :type; ~
297+ ~zod/try=> ? ~
298298 ~
299299 %~
300300 ~zod/try=> `@ud`%~
@@ -321,7 +321,7 @@ phrases of four pairs are separated by `--`.
321321
322322 ~zod/try=> ~pasnut
323323 ~pasnut
324− ~zod/try=> :type; ~pasnut
324+ ~zod/try=> ? ~pasnut
325325 ~pasnut
326326 @p
327327 ~zod/try=> `@p`0x4321
@@ -371,7 +371,7 @@ Atoms of the odor `@sb` represent signed binary numbers.
371371
372372#### Examples
373373
374− ~zod/try=> :type; -0b1
374+ ~zod/try=> ? -0b1
375375 -0b1
376376 @sb
377377 ~zod/try=> `@sd`-0b1
@@ -399,10 +399,10 @@ Atoms of odor `@sd` represent signed decimal numbers.
399399
400400 ~zod/try=> -234
401401 -234
402− ~zod/try=> :type; -234
402+ ~zod/try=> ? -234
403403 -234
404404 @sd
405− ~zod/try=> :type; --234
405+ ~zod/try=> ? --234
406406 --234
407407 @sd
408408 ~zod/try=> (sum:si -234 --234)
@@ -425,7 +425,7 @@ Atoms of odor `@sv` represent signed base32 numbers.
425425
426426 ~zod/try=> -0vv
427427 -0vv
428− ~zod/try=> :type; -0vv
428+ ~zod/try=> ? -0vv
429429 -0vv
430430 @sv
431431 ~zod/try=> --0vb
@@ -455,7 +455,7 @@ Atoms of odor `@sw` represent base64 numbers.
455455
456456 ~zod/try=> -0w--
457457 -0w--
458− ~zod/try=> :type; -0w--
458+ ~zod/try=> ? -0w--
459459 -0w--
460460 @sw
461461 ~zod/try=> `@sd`(sum:si -0w-A -0w--)
@@ -504,10 +504,10 @@ UTF-8 bytes, LSB first. It is sometimes called a cord.
504504
505505 ~zod/try=> ~~foo
506506 'foo'
507− ~zod/try=> :type; 'foo'
507+ ~zod/try=> ? 'foo'
508508 'foo'
509509 @t
510− ~zod/try=> :type; ~~foo
510+ ~zod/try=> ? ~~foo
511511 'foo'
512512 @t
513513
@@ -528,7 +528,7 @@ literals: `a-z`, `0-9`, `~`, `-`, `.`, `_`.
528528
529529 ~zod/try=> ~..asdf
530530 ~..asdf
531− ~zod/try=> :type; ~.asdf
531+ ~zod/try=> ? ~.asdf
532532 ~.asdf
533533 @ta
534534 ~zod/try=> `@t`~.asdf
@@ -577,7 +577,7 @@ Atoms of the odor `@ub` represent unsigned binary numbers.
577577
578578 ~zod/try=> `@`0b1
579579 1
580− ~zod/try=> :type; 0b1
580+ ~zod/try=> ? 0b1
581581 0b1
582582 @ub
583583 ~zod/try=> `@`0b10
@@ -604,7 +604,7 @@ and linebreaks can appear between the dot and the next group.
604604 0
605605 ~zod/try=> 19
606606 19
607− ~zod/try=> :type; 19
607+ ~zod/try=> ? 19
608608 19
609609 @ud
610610 ~zod/try=> 1.024
@@ -630,7 +630,7 @@ Atoms of the odor `@uv` represent unsigned base64 numbers.
630630
631631 ~zod/try=> `@ud`0vv
632632 31
633− ~zod/try=> :type; 0vv
633+ ~zod/try=> ? 0vv
634634 0vv
635635 @uv
636636 ~zod/try=> `@ud`(add 0vv 0v9)
@@ -650,7 +650,7 @@ Unsigned base64
650650
651651 ~zod/try=> 0w~
652652 0w~
653− ~zod/try=> :type; 0w~
653+ ~zod/try=> ? 0w~
654654 0w~
655655 @uw
656656 ~zod/try=> `@uv`(add 0w~ 0wZ)
@@ -673,7 +673,7 @@ Atoms of the odor `@ux` represent hexadecimal numbers.
673673
674674 ~zod/try=> 0x0
675675 0x0
676− ~zod/try=> :type; 0x0
676+ ~zod/try=> ? 0x0
677677 0x0
678678 @ux
679679 ~zod/try=> `@ud`0x17
docs/dev/hoon/reference/pronunciation.md+4−4
@@ -62,7 +62,7 @@ There are a few runes with irregular special pronunciations:
6262 +- lushep slep
6363 ++ luslus slus
6464 == tistis stet
65− +< lusgal glus
66− +> lusgar gras
67− -< hepgal gelp
68− -> hepgar garp
65+ -> hepgar lark
66+ -< hepgal lush
67+ +> lusgar dark
68+ +< lusgal dush
docs/dev/hoon/runes/sg/sgcn.md+1−1
@@ -61,4 +61,4 @@ Examples
6161 --
6262
6363Here we label the entire `++aesc` core for optimization. You can see the
64−jet in `gen164/5/aesc.c`.
64+jet in `jets/e/aesc.c`.
docs/dev/hoon/runes/sm.md+1−1
@@ -34,7 +34,7 @@ quotes).
3434
3535#### [++sail] runes:
3636
37−`;-`, `;+`, `;*`, `;%`, and `%cnzy` all compose a tree structure. See
37+`;-`, `;+`, `;*`, `;%`, and `%smzz` all compose a tree structure. See
3838also: [`++sail`]().
3939
4040<hr></hr>
docs/dev/hoon/runes/sm/smsg.md+1−1
@@ -3,7 +3,7 @@ semsig, `;~`, %smsg
33
44Monad composer
55
6−`;!` is a synthetic rune used to compose functions under a monad.
6+`;~` is a synthetic rune used to compose functions under a monad.
77
88Produces
99--------
docs/dev/hoon/runes/sm/smzz.md+1−1
@@ -80,5 +80,5 @@ Examples
8080 ~zod/try=> (poxo ;html:";{head meta(charset "utf-8")};{body p p}")
8181 "<html><head><meta charset="utf-8"></meta></head><body><p></p><p></p></body></html>"
8282
83−Here we create the most basic HTML structure using nested `dotzaz`, and
83+Here we create the most basic HTML structure using nested `semzaz`, and
8484eventually print it properly using [`++poxo`]().
docs/dev/hoon/runes/ts/tssg.md+1−1
@@ -33,7 +33,7 @@ Queenside:
3333Wide form
3434---------
3535
36−None
36+ =~(i.p i.t.p i.t.t.p)
3737
3838Irregular form
3939--------------
docs/dev/hoon/runes/wt/wthz.md+1−1
@@ -14,7 +14,7 @@ Produces
1414Sample
1515------
1616
17−[`p` is a * `q` is a *]
17+[`p` is a \* `q` is a \*]
1818
1919Tall form
2020---------
docs/dev/hoon/runes/wt/wtls.md+1−1
@@ -50,7 +50,7 @@ Queenside:
5050Wide form
5151---------
5252
53− ?+(p p.i.r q.i.r, p.i.t.r q.i.t.r, p.i.t.t.r q.i.t.t.r)
53+ ?+(p q p.i.r q.i.r, p.i.t.r q.i.t.r, p.i.t.t.r q.i.t.t.r)
5454
5555Irregular form
5656--------------
docs/dev/hoon/runes/zp/zpzp.md+1−1
@@ -3,7 +3,7 @@ zapzap, `!!`, %zpzp
33
44Crash
55
6−`!?` is a natural rune that always crashes.
6+`!!` is a natural rune that always crashes.
77
88Produces
99--------
docs/theory/whitepaper.md+6−5
@@ -1060,7 +1060,8 @@ for punctuation are clumsy. So Hoon replaces them:
10601060 doq " lus + tis =
10611061 dot . pam & wut ?
10621062 fas / pat @ zap !
1063−
1063+ sig ~
1064+
10641065For example, `%=` sounds like "centis" rather than "percent
10651066equals." Since even a silent reader will subvocalize, the length
10661067and complexity of the sound is a tax on reading the code.
@@ -1070,10 +1071,10 @@ A few digraphs also have irregular sounds:
10701071 == stet
10711072 -- shed
10721073 ++ slus
1073− -> dart
1074− -< dusk
1075− +> lark
1076− +< lush
1074+ -> lark
1075+ -< lush
1076+ +> dark
1077+ +< dush
10771078
10781079Hoon defines over 100 digraph ideograms (like `|=`). Ideograms
10791080(or *runes*) have consistent internal structure; for instance,
docs/user/appliance.md+1−1
@@ -83,7 +83,7 @@ possible; it's not well-optimized.
8383
8484There's a web interface to `:talk` at
8585
86− http://localhost:8080/~~/home/pub/talk/fab
86+ http://localhost:8080/~~/home/pub/talk
8787
8888and a dojo interface at
8989
docs/user/intro.md+7−7
@@ -66,10 +66,10 @@ compiler and inference engine is about 2000 lines of Hoon.
6666Arvo is an event-driven OS written in Hoon. It can upgrade
6767itself and everything inside it over the network. The Arvo
6868kernel proper is 500 lines of Hoon, which implements a typed
69−event system with explicit call-stack structure. Arvo ships
70−it ships with modules that provide P2P networking (`%ames`), a
71−revision-control system (`%clay`), a web client/server (`%eyre`),
72−a functional build system (`%ford`), and an application engine
69+event system with explicit call-stack structure. Arvo ships
70+with modules that provide P2P networking (`%ames`), a revision-
71+control system (`%clay`), a web client/server (`%eyre`), a
72+functional build system (`%ford`), and an application engine
7373`(%gall)`.
7474
7575### `%ames`
@@ -114,18 +114,18 @@ whatever you learn will stay true. And bleeding edges are fun.
114114If you're interested in following Urbit, you can:
115115
116116- Read our documentation at
117− [urbit.org](http://urbit.org/docs)
117+ [urbit.org](http://urbit.org/docs)
118118- Subscribe to our newsletter at [urbit.org](http://urbit.org).
119119- Check out the
120120 [urbit-dev](https://groups.google.com/forum/#!forum/urbit-dev)
121121 mailing list.
122122- Follow [@urbit_](https://twitter.com/urbit\_) on Twitter.
123−- Hit us up by email, <span class="mono">urbit@urbit.org</span>.
123+- Hit us up by email, <span class="mono">urbit@urbit.org</span>.
124124 We're nice!
125125
126126## Code of conduct
127127
128−Everyone involved in the Urbit project needs to understand and
128+Everyone involved in the Urbit project needs to understand and
129129respect our code of conduct, which is: "don't be rude."
130130
131131## Pronunciation and etymology
docs/user/talk.md+5−6
@@ -75,7 +75,7 @@ You'll see:
7575 ---------:talk| don't be rude
7676 ---------:talk| urbit-meta is politically correct and safe for work
7777 ~doznec= ~fintud-macrep admitted to %urbit-meta
78− ~fintud-macrep:talk=
78+ ~fintud-macrep:talk>
7979
8080Notice the character assignment - stations you're subscribed to are
8181assigned [consistent ASCII glyphs](#-station-glyphs), which you'll
@@ -84,16 +84,16 @@ when you're talking to them.
8484
8585Post a line to `/urbit-meta`:
8686
87− ~fintud-macrep:talk= hello, world
87+ ~fintud-macrep:talk> hello, world
8888
8989You'll see, echoed back at you through `~doznec`:
9090
91− ~fintud-macrep:talk= hello, world
91+ ~fintud-macrep> hello, world
9292
9393And of course, anyone else in `/urbit-meta` will see it as well.
9494But you don't care about `/urbit-meta`, so leave it:
9595
96− ~fintud-macrep:talk= ;leave
96+ ~fintud-macrep:talk> ;leave >
9797
9898You'll see:
9999
@@ -103,7 +103,6 @@ Everyone else will see:
103103
104104 ~doznec= ~fintud-macrep has left %urbit-meta
105105
106−
107106Now you're ready to use `:talk` for real! For general discussion
108107about Urbit, we recommend `/urbit-meta`.
109108
@@ -234,7 +233,7 @@ most recent; etc.
234233
235234### Nicknames
236235
237−<mark>Partially implemented</mark>
236+<mark>Implemented, no autocompletion</mark>
238237
239238Sometimes you know your Urbit friends by other names, on or
240239offline. Use the `;nick` command to assign or look up