5c1b80e · urbit.org · git.iko.soy

git.iko.soy/urbit.org

Amending relative links

commit5c1b80e3efe32fb3581025aab94c2a9e6d7d09bd authorMatilde Park <matilde@tlon.io> dateTue 1 Oct 2019, 10:28 (7 years ago) parentb86f828

18 files changed+83−84

compare with master

unifiedsplit

.gitmodules+2−2 arvo/eyre.md+1−1 arvo/ford.md+1−1 arvo/gall.md+3−4 arvo/arvo-glossary.md → arvo/glossary.md+34−34 arvo/sail-and-udon.md+3−3 arvo/ship-troubleshooting.md+1−1 azimuth/azimuth-glossary.md → azimuth/glossary.md+2−2 hoon/hoon-expressions/_index.md+5−5 hoon/hoon-expressions/irregular.md+1−1 hoon/hoon-expressions/rune/_index.md+15−15 hoon/hoon-tutorial/_index.md+1−1 hoon/hoon-tutorial/bank-account.md+1−1 hoon/hoon-tutorial/conditionals.md+1−1 hoon/hoon-tutorial/doors.md+1−1 hoon/hoon-tutorial/hoon-syntax.md+2−2 hoon/hoon-tutorial/setup.md+3−3 hoon/troubleshooting.md+6−6

.gitmodules+2−2

@@ -1,3 +1,3 @@

1−[submodule "docs/learn/hoon/workbook"]

2− path = docs/learn/hoon/workbook

1+[submodule "docs/hoon/workbook"]

2+ path = docs/hoon/workbook

33 url = git@github.com:urbit/hoon-workbook.git

arvo/eyre.md+1−1

@@ -81,7 +81,7 @@ the perk it into a `%boil` `++ford-req`, adding an `++fcgi` path-segment

8181containing query string and `++fcgi-cred:for-client` auth information.

8282

8383`%ford`s translation of `/=cli=/hymn/hook` to a self-refreshing `%urb` html page

84−[deserves its own commentary](/docs/learn/arvo/arvo-internals/ford#commentary), but

84+[deserves its own commentary](/docs/arvo/ford#commentary), but

8585we resume in `%eyre` when the `%made` sign arrives in `++take`, and soon after

8686`++axon:ye`. There the `wire`, or rather the `whir` it has been verified to be,

8787determines that the response should be served immediately. However, as the mark

arvo/ford.md+1−1

@@ -272,7 +272,7 @@ produces the text of the hoon file at "/path/to/hoon-file/hoon".

272272passes the contents through unchanged. In general, rendering a file with a

273273mark will potentially run the contents through a series of conversion

274274operations. For details on marks, see the

275−[Gall docs](../gall).

275+[Gall docs](gall).

276276

277277Here's an example that includes a mark conversion:

278278```hoon

arvo/gall.md+3−4

@@ -522,8 +522,7 @@ interact with apps. Generators are the "porcelain" layer. This is why

522522when you run a command like `+ls` or `|merge`, there are no marks in

523523sight.

524524

525−We've used generators before, back in [Basic

526−Operation](/docs/learn/arvo/arvo-internals/admin). At that point, we just used the

525+At that point, we just used the

527526generators to produce values -- we didn't pipe their results into apps.

528527In the dojo cast, the role of a generator is to take a list of arguments

529528and produce a value, which is often, though not always, piped into an

@@ -1064,7 +1063,7 @@ from the command line, which we we did with `:echo 5`

10641063(`:[app-name] [argument(s)]`).

10651064

10661065In this case, `++poke-noun` takes an argument (**sample**) `arg` and

1067−prints it to dojo with `~&` ([sigpam](/docs/reference/hoon-expressions/rune/sig#sigpam/)).

1066+prints it to dojo with `~&` ([sigpam](/docs/hoon/hoon-expressions/rune/sig#sigpam/)).

10681067This is an unusual rune that formally "does nothing", but the interpreter

10691068detects it and printfs the first child, before executing the second as if the

10701069first didn't exist. This is a slightly hacky way of printing to the console,

@@ -1210,7 +1209,7 @@ Run it with these commands:

12101209

12111210Replace `~sampel-sipnym` with another urbit. The easiest thing to do is to start

12121211a comet, a free and disposable Urbit identity. If you don't know how to start a

1213−comet, see [the user setup section](/docs/getting-started/). Don't forget to start

1212+comet, see [the user setup section](@/operations.md). Don't forget to start

12141213the `%pong` app on that urbit, too. You should see, on the foreign

12151214urbit, this output:

12161215

arvo/arvo-glossary.md → arvo/glossary.mdrenamed+34−34

@@ -11,7 +11,7 @@ As Dijkstra put it: "The purpose of abstraction is not to be vague, but

1111to create a new semantic level in which one can be absolutely precise."

1212

1313This glossary only covers terms the Arvo side of the project. You can find the

14−Azimuth glossary [here](../azimuth-glossary)

14+Azimuth glossary [here](../azimuth/glossary)

1515

1616### application

1717

@@ -42,7 +42,7 @@ dry.

4242 path, which works as if we expanded the callee with the caller's

4343 context.

4444

45−_See [advanced types](/docs/reference/hoon-expressions/advanced/)_.

45+_See [advanced types](/docs/hoon/hoon-expressions/advanced/)_.

4646

4747

4848

@@ -67,7 +67,7 @@ their effects happen like so:

6767Arvo is located in `/home/sys/arvo.hoon` within your urbit.

6868

6969More in-depth information on Arvo can be found

70−[`here`](@/docs/learn/arvo/_index.md).

70+[`here`](@/docs/arvo/_index.md).

7171

7272Below are Arvo modules, which are called "vanes".

7373

@@ -80,7 +80,7 @@ Below are Arvo modules, which are called "vanes".

8080 Ames is located in `/home/sys/vane/ames.hoon` within your urbit.

8181

8282 More in-depth information on Ames can be found

83− [`here`](@/docs/learn/arvo/ames.md).

83+ [`here`](@/docs/arvo/ames.md).

8484

8585#### Behn

8686

@@ -103,9 +103,9 @@ Below are Arvo modules, which are called "vanes".

103103 Clay is located at `/home/sys/vane/clay.hoon` within your urbit.

104104

105105 Basic information on using Clay can be found

106− [`here`](@/docs/using/filesystem.md). An in-depth explanation

106+ [`here`](@/operations.md). An in-depth explanation

107107 of the architecture can be found

108− [`here`](@/docs/learn/arvo/clay.md).

108+ [`here`](@/docs/arvo/clay.md).

109109

110110#### Dill

111111

@@ -124,7 +124,7 @@ Below are Arvo modules, which are called "vanes".

124124 Dill is located at `/home/sys/vane/clay.hoon` within your urbit.

125125

126126 More in-depth information on Dill can be found

127− [`here`](@/docs/learn/arvo/dill.md).

127+ [`here`](@/docs/arvo/dill.md).

128128

129129#### Eyre

130130

@@ -138,7 +138,7 @@ Below are Arvo modules, which are called "vanes".

138138 Eyre is located at `/home/sys/vane/eyre.hoon` within your urbit.

139139

140140 More in-depth information on Eyre can be found

141− [`here`](@/docs/learn/arvo/eyre.md).

141+ [`here`](@/docs/arvo/eyre.md).

142142

143143#### Ford

144144

@@ -153,7 +153,7 @@ Below are Arvo modules, which are called "vanes".

153153 Ford is located at `/home/sys/vane/ford.hoon` within your urbit.

154154

155155 More in-depth information on Ford can be found

156− [`here`](@/docs/learn/arvo/ford.md).

156+ [`here`](@/docs/arvo/ford.md).

157157

158158#### Gall

159159

@@ -169,7 +169,7 @@ Below are Arvo modules, which are called "vanes".

169169 Gall is located at `/home/sys/vane/gall.hoon` within your urbit.

170170

171171 More in-depth information on Gall can be found

172− [`here`](@/docs/learn/arvo/gall.md).

172+ [`here`](@/docs/arvo/gall.md).

173173

174174### atom

175175

@@ -189,7 +189,7 @@ An atom type is _warm_ or _cold_ based on whether the constant exists.

189189

190190 If the constant is `[~ atom]`, its only legal value is `atom`.

191191

192−_See [basic types](@/docs/reference/hoon-expressions/basic.md)_

192+_See [basic types](@/docs/hoon/hoon-expressions/basic.md)_

193193

194194### aura

195195

@@ -245,7 +245,7 @@ Aura Meaning Example Literal Syntax

245245 @ux unsigned hexadecimal 0x5f5.e138

246246```

247247

248−You can find the list of all auras [here](@/docs/reference/hoon-expressions/rune/constants.md).

248+You can find the list of all auras [here](@/docs/hoon/hoon-expressions/rune/constants.md).

249249

250250### blocksize

251251

@@ -309,7 +309,7 @@ translate to cores in Hoon.

309309

310310 The data-containing tail of a core.

311311

312−_See [basic types](@/docs/reference/hoon-expressions/basic.md)._

312+_See [basic types](@/docs/hoon/hoon-expressions/basic.md)._

313313

314314### Dojo

315315

@@ -350,7 +350,7 @@ In the above example, `a` is the face and `2` is the value.

350350Hoon has no scope or symbol-table; there is only the subject. To "declare" a

351351"variable" is to construct a new subject: `[name=value old-subject]`.

352352

353−_See [advanced types](@/docs/reference/hoon-expressions/advanced.md)_.

353+_See [advanced types](@/docs/hoon/hoon-expressions/advanced.md)_.

354354

355355

356356### flag

@@ -362,7 +362,7 @@ _no_.

362362

363363A _gate_ is a [core](#core) with one [arm](#arm) -- Hoon's closest

364364analog to a function. To call a gate on an argument, replace the sample

365−(at [tree address](@/docs/reference/hoon-expressions/limb/limb.md) `+6`

365+(at [tree address](@/docs/hoon/hoon-expressions/limb/limb.md) `+6`

366366in the core) with the argument, and then compute the arm.

367367

368368The payload of a gate has a shape of `[sample context]`.

@@ -375,8 +375,8 @@ The payload of a gate has a shape of `[sample context]`.

375375

376376 The subject in which the gate was defined.

377377

378−_See [basic types](@/docs/reference/hoon-expressions/basic.md),

379−[`%-` ("cenhep")](@/docs/reference/hoon-expressions/rune/cen.md#cenhep) (the

378+_See [basic types](@/docs/hoon/hoon-expressions/basic.md),

379+[`%-` ("cenhep")](@/docs/hoon/hoon-expressions/rune/cen.md#cenhep) (the

380380[rune](#rune) for calling a `gate`)._

381381

382382### generator

@@ -397,7 +397,7 @@ information pipeline.

397397

398398Generators are run from the `/gen` directory of your current desk. For example,

399399to run a generator named `whatever.hoon`, you would type `> +whatever` in the

400−[Dojo](@/docs/using/shell.md).

400+[Dojo](@/operations/#using-the-shell).

401401

402402### glyph

403403

@@ -427,7 +427,7 @@ _Hall_ is the Urbit communication back-end. It’s a messaging bus that can work

427427with clients of all sorts. [`:talk`](#talk), the built-in chat client, is one

428428such app that uses Hall.

429429

430−_More information on Hall can be found [here](@/docs/learn/arvo/hall.md)._

430+_More information on Hall can be found [here](@/docs/arvo/hall.md)._

431431

432432#### circle

433433

@@ -450,7 +450,7 @@ to Nock.

450450

451451The Hoon source file is located in `/home/sys/hoon.hoon` within your urbit.

452452

453−_More information can be found in the [hoon](@/docs/learn/hoon/_index.md) section._

453+_More information can be found in the [hoon](@/docs/hoon/_index.md) section._

454454

455455#### Mint

456456

@@ -481,7 +481,7 @@ atoms (in this case each with an aura of `%ud`, i.e. unsigned

481481decimal).

482482

483483To parse Hoon source into a hoon AST, use `ream` on a `cord`

484−containing Hoon source. Try the following in [Dojo](@/docs/using/shell.md):

484+containing Hoon source. Try the following in [Dojo](@/operations/#using-the-shell):

485485

486486```

487487(ream ':+(12 7 %a)')

@@ -493,7 +493,7 @@ The result should be:

493493[%clls p=[%sand p=%ud q=12] q=[%sand p=%ud q=7] r=[%rock p=%tas q=97]]

494494```

495495

496−See [expression reference](@/docs/reference/hoon-expressions/rune/_index.md) for the full list of hoons.

496+See [expression reference](@/docs/hoon/hoon-expressions/rune/_index.md) for the full list of hoons.

497497

498498### irregular form

499499

@@ -501,7 +501,7 @@ Irregular forms are alternative ways of writing Hoon expressions, alternatives

501501to the digraphic runes such as `:~`. Irregular forms are usually more compact

502502than regular forms.=

503503

504−_See [irregular forms](@/docs/reference/hoon-expressions/irregular.md)._

504+_See [irregular forms](@/docs/hoon/hoon-expressions/irregular.md)._

505505

506506### jet

507507

@@ -514,7 +514,7 @@ so inefficiently. Nock, for example, can’t decrement (reduce a number by one)

514514except by starting building a loop that starts from zero and increments to a

515515number just below.

516516

517−_See [API overview](@/docs/learn/vere/api.md)._

517+_See [API overview](@/docs/vere/api.md)._

518518

519519### lark

520520

@@ -564,7 +564,7 @@ found, the result is the product of the arm.

564564 a search path into the subject, composed of

565565 limbs. Search occurs from right to left (`a.b` means `b` within `a`).

566566

567−_See [Limbs and wings](@/docs/reference/hoon-expressions/limb/_index.md)_

567+_See [Limbs and wings](@/docs/hoon/hoon-expressions/limb/_index.md)_

568568

569569### move

570570

@@ -604,7 +604,7 @@ Urbit's low-level programming language. Nock is functional and typeless.

604604

605605 a noun - the result of evaluating a formula against a subject.

606606

607−_See the [Nock definition](@/docs/learn/nock/definition.md)._

607+_See the [Nock definition](@/docs/nock/definition.md)._

608608

609609### mark

610610

@@ -630,7 +630,7 @@ properties of the type of a compatible core). The default is `gold`

630630- `zinc`: _covariant_

631631- `iron`: _contravariant_

632632

633−_See [advanced types](@/docs/reference/hoon-expressions/advanced.md)_.

633+_See [advanced types](@/docs/hoon/hoon-expressions/advanced.md)_.

634634

635635### ship

636636

@@ -712,17 +712,17 @@ Here's some common structure terminology:

712712

713713#### icon: The type of the mold's range

714714

715−_See [mold hoons](/docs/reference/hoon-expressions/rune/buc/)._

715+_See [mold hoons](/docs/hoon/hoon-expressions/rune/buc/)._

716716

717717### rune

718718

719719A Hoon _rune_ is a pair of ASCII symbols used to begin a

720720[Hoon expression](#a-hoon).

721721

722−For example, the rune [`?:`](@/docs/reference/hoon-expressions/rune/wut.md#wutcol) is

722+For example, the rune [`?:`](@/docs/hoon/hoon-expressions/rune/wut.md#wutcol) is

723723Hoon's most common conditional, a branch on a boolean test. The first

724724symbol in a rune represents a family of related runes. For example, the

725−[`?` family](@/docs/reference/hoon-expressions/rune/wut.md) are all conditionals.

725+[`?` family](@/docs/hoon/hoon-expressions/rune/wut.md) are all conditionals.

726726

727727The result of parsing a Hoon source expression—the rune, followed

728728by its respective children—into an AST node is simply called

@@ -758,7 +758,7 @@ Tall hoons can contain flat hoons, but not vice versa. All irregular

758758forms are flat.

759759

760760_See [hoon concept](#a-hoon),

761−[expressions](@/docs/reference/hoon-expressions/rune/_index.md).

761+[expressions](@/docs/hoon/hoon-expressions/rune/_index.md).

762762

763763### Sail

764764

@@ -769,7 +769,7 @@ _Sail_ is the Hoon markup language for XML.

769769To _scry_ means to request data from the Arvo namespace and bring it

770770to userspace.

771771

772−_See [.^ (dot-ket)](@/docs/reference/hoon-expressions/rune/dot.md#dotket)._

772+_See [.^ (dot-ket)](@/docs/hoon/hoon-expressions/rune/dot.md#dotket)._

773773

774774### slot

775775

@@ -788,7 +788,7 @@ The head of `+n` is `+2n`, the tail is `+(2n+1)`.

788788_Talk_ is Urbit's built-in chat app. It’s one example of an app that can be

789789built on top of Hall, the Urbit back-end messaging system.

790790

791−_See [Messaging](@/docs/using/messaging.md). for more information._

791+_See [Messaging](@/operations/#messaging). for more information._

792792

793793### type

794794

@@ -810,7 +810,7 @@ of the simpler built-in types.

810810 If `nest` produces no, the Hoon programmer will receive a `nest-fail`

811811 error. This is one of the most commons errors in Hoon programming.

812812

813− _See [advanced types](@/docs/reference/hoon-expressions/advanced.md)_ and [troubleshooting](@/docs/reference/troubleshooting.md).

813+ _See [advanced types](@/docs/hoon/hoon-expressions/advanced.md)_ and [troubleshooting](@/docs/reference/troubleshooting.md).

814814

815815

816816### Unit

arvo/sail-and-udon.md+3−3

@@ -21,7 +21,7 @@ This document will be divided into two main sections: the Sail guide and the Udo

2121## Getting Started {#getting-started}

2222

2323Before starting with either Sail or Udon, make sure that your ship is

24−[mounted to Unix](/docs/getting-started/booting-a-ship)

24+[mounted to Unix](@/operations#booting-a-ship)

2525

2626To host that output, your ship also has a web-server that can be found at

2727`localhost` (default port 80) if it’s your first ship that’s running on the

@@ -944,12 +944,12 @@ destination.

944944**Example:**

945945

946946```

947−[I'm an inline-style link](https://www.urbit.org/docs/using/shell)

947+[I'm an inline-style link](https://urbit.org/operations/#using-the-shell)

948948```

949949

950950**Produces:**

951951

952−[I'm an inline-style link](https://www.urbit.org/docs/using/shell)

952+[I'm an inline-style link](https://urbit.org/operations/#using-the-shell)

953953

954954The second type is a reference-style link, which uses a relative path, based on

955955the current page's location. Instead of the full url, we use `..` to fill in

arvo/ship-troubleshooting.md+1−1

@@ -28,7 +28,7 @@ If you accidentally booted with the same keyfile twice, the only remedy is perfo

2828

2929**Avoid killing the Urbit process directly.** The best way to end an urbit process is to use `ctrl-d` from the Dojo. Unix methods to kill the process, such as with `ctrl-z` or with the `kill` Bash command, or simply closing the window, should only be used if `ctrl-d` does not work.

3030

31−**Keep up-to-date builds.** Check for latest Urbit version at https://github.com/urbit/urbit/releases. If you're behind, update using [this guide](/docs/getting-started)

31+**Keep up-to-date builds.** Check for latest Urbit version at https://github.com/urbit/urbit/releases. If you're behind, update using [this guide](/operations/)

3232

3333**`|hi` your star to see if you're connected.** Find out who your star is by running `(sein:title our now our)` in the Dojo. Then, run `|hi ~star`, where `~star` is the star's name, and if things are working properly, you should get the message `hi ~star successful`. It could also be helpful to use `|hi` to check connectivity with `~zod` or another planet that you're in a Talk channel with.

3434

azimuth/azimuth-glossary.md → azimuth/glossary.mdrenamed+2−2

@@ -5,9 +5,9 @@ template = "doc.html"

55+++

8−Azimuth is a general-purpose public-key infrastructure (PKI) on the Ethereum blockchain, used as a platform for Urbit identities. You need an Azimuth identity to use the Arvo network. All identity-related operations are governed at this layer For more information, see the [Azimuth documentation](https://urbit.org/docs/concepts/azimuth/).

8+Azimuth is a general-purpose public-key infrastructure (PKI) on the Ethereum blockchain, used as a platform for Urbit identities. You need an Azimuth identity to use the Arvo network. All identity-related operations are governed at this layer For more information, see the [Azimuth documentation](azimuth).

10−This glossary is intended to familiarize you with Azimuth-related terminology. To brush up on terminology related to Arvo, check out the [Arvo glossary](../arvo-glossary).

10+This glossary is intended to familiarize you with Azimuth-related terminology. To brush up on terminology related to Arvo, check out the [Arvo glossary](../arvo/glossary).

1111

1212### Azimuth identity

1313

hoon/hoon-expressions/_index.md+5−5

@@ -6,22 +6,22 @@ template = "sections/docs/chapters.html"

66+++

77Documentation for Hoon expressions.

9−## [Runes](@/docs/reference/hoon-expressions/rune/_index.md)

9+## [Runes](@/docs/hoon/hoon-expressions/rune/_index.md)

1010

1111Runes are a way to form expressions in Hoon. Their exact semantics and

1212

13−## [Limbs and Wings](@/docs/reference/hoon-expressions/limb/_index.md)

13+## [Limbs and Wings](@/docs/hoon/hoon-expressions/limb/_index.md)

1414

1515Limbs and wings are ways to extract data from the subject.

1616

17−## [Basic Types](@/docs/reference/hoon-expressions/basic.md)

17+## [Basic Types](@/docs/hoon/hoon-expressions/basic.md)

1818

1919A simplified explanation of of the Hoon type system.

2020

21−## [Advanced Types](@/docs/reference/hoon-expressions/advanced.md)

21+## [Advanced Types](@/docs/hoon/hoon-expressions/advanced.md)

2222

2323A more comprehensive explanation of the Hoon type system, covering aliasing and polymorphism.

2424

25−## [Irregular Forms](@/docs/reference/hoon-expressions/irregular.md)

25+## [Irregular Forms](@/docs/hoon/hoon-expressions/irregular.md)

2626

2727Alternative syntaxes for Hoon runes.

hoon/hoon-expressions/irregular.md+1−1

@@ -242,7 +242,7 @@ See [%sand](@/docs/hoon/hoon-expressions/rune/constants.md#warm) for other irreg

242242

243243### Wings

244244

245−[docs](content/docs/reference/hoon-expressions/limb/wing.md)

245+[docs](content/docs/hoon/hoon-expressions/limb/wing.md)

246246`[%wing p=(list limb)]`; a limb search path.

247247`a.b` finds limb `a` within limb `b` ("var" `a` within "var" `b`).

248248

hoon/hoon-expressions/rune/_index.md+15−15

@@ -8,64 +8,64 @@ Runes are a way to form expressions in Hoon.

99## Non-Rune Expressions

1010

11−### [Constants](@/docs/reference/hoon-expressions/rune/constants.md)

11+### [Constants](@/docs/hoon/hoon-expressions/rune/constants.md)

1212

1313Hoon uses runes to form expressions, but not all expressions have runes in them. First, we have constant expressions (and also expressions that would be constant, but that they allow for interpolations).

1414

15−### [Limbs and Wings](@/docs/reference/hoon-expressions/limb/_index.md)

15+### [Limbs and Wings](@/docs/hoon/hoon-expressions/limb/_index.md)

1616

1717Limb and wing expressions also lack runes.

1818

1919## Runes Proper

2020

21−### [`. dot` (Nock)](@/docs/reference/hoon-expressions/rune/dot.md)

21+### [`. dot` (Nock)](@/docs/hoon/hoon-expressions/rune/dot.md)

2222

2323Runes used for carrying out Nock operations in Hoon.

2424

25−### [`! zap` (wild)](@/docs/reference/hoon-expressions/rune/zap.md)

25+### [`! zap` (wild)](@/docs/hoon/hoon-expressions/rune/zap.md)

2626

2727Wildcard category. Expressions that don't fit anywhere else go here.

2828

29−### [`= tis` (Subject Modification)](@/docs/reference/hoon-expressions/rune/tis.md)

29+### [`= tis` (Subject Modification)](@/docs/hoon/hoon-expressions/rune/tis.md)

3030

3131Runes used to modify the subject.

3232

33−### [`? wut` (Conditionals)](@/docs/reference/hoon-expressions/rune/wut.md)

33+### [`? wut` (Conditionals)](@/docs/hoon/hoon-expressions/rune/wut.md)

3434

3535Runes used for branching on conditionals.

3636

37−### [`| bar` (Cores)](@/docs/reference/hoon-expressions/rune/bar.md)

37+### [`| bar` (Cores)](@/docs/hoon/hoon-expressions/rune/bar.md)

3838

3939Runes used to produce cores.

4040

41−### [`+ lus` (Arms)](@/docs/reference/hoon-expressions/rune/lus.md)

41+### [`+ lus` (Arms)](@/docs/hoon/hoon-expressions/rune/lus.md)

4242

4343Runes used to define arms in a core.

4444

45−### [`: col` (Cells)](@/docs/reference/hoon-expressions/rune/col.md)

45+### [`: col` (Cells)](@/docs/hoon/hoon-expressions/rune/col.md)

4646

4747Runes used to produce cells, which are pairs of nouns.

4848

49−### [`% cen` (Calls)](@/docs/reference/hoon-expressions/rune/cen.md)

49+### [`% cen` (Calls)](@/docs/hoon/hoon-expressions/rune/cen.md)

5050

5151Runes used for making function calls in Hoon.

5252

53−### [`^ ket` (Casts)](@/docs/reference/hoon-expressions/rune/ket.md)

53+### [`^ ket` (Casts)](@/docs/hoon/hoon-expressions/rune/ket.md)

5454

5555Runes that let us adjust types without violating type constraints.

5656

57−### [`$ buc` (Structures)](@/docs/reference/hoon-expressions/rune/buc.md)

57+### [`$ buc` (Structures)](@/docs/hoon/hoon-expressions/rune/buc.md)

5858

5959Runes used for defining custom types.

6060

61−### [`; mic` (Make)](@/docs/reference/hoon-expressions/rune/mic.md)

61+### [`; mic` (Make)](@/docs/hoon/hoon-expressions/rune/mic.md)

6262

6363Miscellaneous useful macros.

6464

65−### [`~ sig` (Hints)](@/docs/reference/hoon-expressions/rune/sig.md)

65+### [`~ sig` (Hints)](@/docs/hoon/hoon-expressions/rune/sig.md)

6666

6767Runes that use Nock `11` to pass non-semantic info to the interpreter.

6868

69−### [`--`, `==` (Terminators)](@/docs/reference/hoon-expressions/rune/terminators.md)

69+### [`--`, `==` (Terminators)](@/docs/hoon/hoon-expressions/rune/terminators.md)

7070

7171Runes used to terminate expressions.

hoon/hoon-tutorial/_index.md+1−1

@@ -49,7 +49,7 @@ Chapter 2 covers the type system, and writing apps, and the workings of the Arvo

4949

5050Consult the [standard libary documentation](@/docs/hoon/library/_index.md) or [rune reference](@/docs/hoon/hoon-expressions/_index.md) to look up any unknown rune or standard library function you don't understand.

5151

52−As you work your way through these lessons you may want to work on example problems from the [Hoon Workbook](@/docs/hoon/workbook/_index.md) for practice. Once you finish the lessons here you may want to write more versatile Hoon programs which can make use of more of your urbit's environment, in which case you'll want to check out the [Generators](@/docs/hoon/hoon-tutorial/generators.md) documentation. Or maybe you'd like to learn how to write a [Gall app](content/docs/learn/arvo/gall.md). Learn about [Udon](@/docs/arvo/sail-and-udon.md), Urbit's stripped-down version of Markdown. Or learn [Sail](@/docs/arvo/sail-and-udon.md), a subset of Hoon used for generating XML nodes.

52+As you work your way through these lessons you may want to work on example problems from the [Hoon Workbook](@/docs/hoon/workbook/_index.md) for practice. Once you finish the lessons here you may want to write more versatile Hoon programs which can make use of more of your urbit's environment, in which case you'll want to check out the [Generators](@/docs/hoon/hoon-tutorial/generators.md) documentation. Or maybe you'd like to learn how to write a [Gall app](@/docs/arvo/gall.md). Learn about [Udon](@/docs/arvo/sail-and-udon.md), Urbit's stripped-down version of Markdown. Or learn [Sail](@/docs/arvo/sail-and-udon.md), a subset of Hoon used for generating XML nodes.

5353

5454

5555> Last major revision of this section: February 2019

hoon/hoon-tutorial/bank-account.md+1−1

@@ -74,7 +74,7 @@ Each of these arms produces a gate which takes an `@ud` argument. Each of these

7474+>.$(balance (add balance amount))

7575```

7676

77−`+>` is [wing syntax](/docs/reference/hoon-expressions/limb/limb/). This particularly wing construction looks for the the tail of the tail (the third element) in `$`, the subject of the gate we are in, which is the entire `new-account` door. We change `balance` to be the result of adding `balance` and `amount` and produce the door as the result. `withdraw` functions the same way only doing subtraction instead of addition.

77+`+>` is [wing syntax](/docs/hoon/hoon-expressions/limb/limb/). This particularly wing construction looks for the the tail of the tail (the third element) in `$`, the subject of the gate we are in, which is the entire `new-account` door. We change `balance` to be the result of adding `balance` and `amount` and produce the door as the result. `withdraw` functions the same way only doing subtraction instead of addition.

7878

7979It's important to notice that the sample, `balance`, is stored as part of the door rather than existing outside of it.

8080

hoon/hoon-tutorial/conditionals.md+1−1

@@ -69,6 +69,6 @@ We only went into three "wut" runes in our walkthrough, but there are many other

6969

7070- `?|` takes an indefinite number of children. It's the logical "or" operator. It checks if at least one of its children is true.

7171

72−To see an exhaustive list of "wut" runes, check out the [reference documentation on conditionals](/docs/reference/hoon-expressions/rune/wut/).

72+To see an exhaustive list of "wut" runes, check out the [reference documentation on conditionals](/docs/hoon/hoon-expressions/rune/wut/).

7373

7474### [Next Up: Reading -- Lists](../lists)

hoon/hoon-tutorial/doors.md+1−1

@@ -499,6 +499,6 @@ It's better simply to use the `~(arm rs arg)` syntax to replace the value of the

499499

500500## Conclusion

501501

502−You've now reached the end of Chapter 1 of the Hoon tutorial. Ideally you should have a fair understanding of the fundamental concepts of subject-oriented programming: limbs, legs, faces, wings, arms, cores, gates, and doors. If you can master these concepts you should have little or no trouble learning to write substantial Hoon programs. Continue to [Chapter 2](../hoon-programs) to get started.

502+You've now reached the end of Chapter 1 of the Hoon tutorial. Ideally you should have a fair understanding of the fundamental concepts of subject-oriented programming: limbs, legs, faces, wings, arms, cores, gates, and doors. If you can master these concepts you should have little or no trouble learning to write substantial Hoon programs. Continue to [Chapter 2](atoms-auras-and-simple-cell-types) to get started.

503503

504504### [Next Up: Walkthrough -- Bank Account](../bank-account)

hoon/hoon-tutorial/hoon-syntax.md+2−2

@@ -308,10 +308,10 @@ Standard library functions are often built with other standard library functions

308308

309309The Hoon syntax can be intimidating for the uninitiated, so it's good to remember where you can look up expressions can be found. The [reference section](/docs/reference/) itself is a good place to find the reference materials that you need. These children sections are likely to be useful:

310310

311−- The [Runes](/docs/reference/hoon-expressions/) page will show you how to use any Hoon rune.

311+- The [Runes](/docs/hoon/hoon-expressions/) page will show you how to use any Hoon rune.

312312- The [Cheat sheet](/docs/reference/cheat-sheet/) is a more compact place to look up rune expressions.

313313- The [Standard library](/docs/reference/library/) section has its sub-pages arranged by category. So arithmetic functions, for example, are all found on the same page.

314−- The [Hoon Style Guide](/docs/learn/hoon/style/) will show you how to write your Hoon code so that it's idiomatic and easily understood by others.

314+- The [Hoon Style Guide](/docs/hoon/style/) will show you how to write your Hoon code so that it's idiomatic and easily understood by others.

315315

316316### Debugging

317317

hoon/hoon-tutorial/setup.md+3−3

@@ -13,9 +13,9 @@ These may not look like numbers, but they are. Each urbit name is written in a

1313

1414## Installing Urbit

1515

16−You can install Urbit on any Mac or Unix machine; if you're just trying out Urbit or creating a development ship, you can follow the steps for creating a development ship [here](/docs/using/creating-a-development-ship). On Windows, make a virtual Linux machine using VirtualBox or a similar tool.

16+You can install Urbit on any Mac or Unix machine; if you're just trying out Urbit or creating a development ship, you can follow the steps for creating a development ship [here](@/operations/#creating-a-development-ship). On Windows, make a virtual Linux machine using VirtualBox or a similar tool.

1717

18−Once you're finished, you can [boot your very own ship](/docs/getting-started/booting-a-ship/#step-3-run-the-boot-command). While you can develop in Hoon on your own ship on the live network, we strongly suggest developing on a development ship first.

18+Once you're finished, you can [boot your very own ship](/operations/#booting-a-ship). While you can develop in Hoon on your own ship on the live network, we strongly suggest developing on a development ship first.

1919

2020## Getting started

2121

@@ -59,7 +59,7 @@ You'll see:

595917

6060```

6161

62−You asked dojo to evaluate `17` and it echoed the number back at you. This value is a 'noun'. We'll talk more about nouns in [Chapter 1.2](docs/learn/hoon/hoon-tutorial/nouns/), but first let's write a very basic program.

62+You asked dojo to evaluate `17` and it echoed the number back at you. This value is a 'noun'. We'll talk more about nouns in [Chapter 1.2](docs/hoon/hoon-tutorial/nouns/), but first let's write a very basic program.

6363

6464## Generators

6565

hoon/troubleshooting.md+6−6

@@ -20,7 +20,7 @@ a correct Hoon file. These values are always correct.

2020Usually, the line and column tell you everything you need to

2121know. But the worst-case scenario for a syntax error is that,

2222somewhere above, you've confused Hoon's tall form by using the

23−wrong fanout for a rune. For example, `%+` ([**cenlus**](@/docs/reference/hoon-expressions/rune/cen.md#cenlus),

23+wrong fanout for a rune. For example, `%+` ([**cenlus**](@/docs/hoon/hoon-expressions/rune/cen.md#cenlus),

2424a function call whose sample is a cell) has three subhoons:

2525

2626```hoon

@@ -100,7 +100,7 @@ means you tried to pound a square peg into a round hole.

100100What was the peg and what was the hole? Hoon doesn't tell you by

101101default, because moral fiber, and also because in too many cases

102102trivial errors lead to large intimidating dumps. However, you

103−can use the `~!` rune ([**sigzap**](@/docs/reference/hoon-expressions/rune/sig.md#sigzap)) to print the type of

103+can use the `~!` rune ([**sigzap**](@/docs/hoon/hoon-expressions/rune/sig.md#sigzap)) to print the type of

104104any hoon in your stack trace.

105105

106106For instance, you wrote `(foo bar)` and got a `nest-fail`. Change

@@ -130,7 +130,7 @@ function.

130130

131131These are errors caused by type inference in pattern matching.

132132`mint-vain` means this hoon is never executed. `mint-lost` means

133−there's a case in a `?-` ([**wuthep**](@/docs/reference/hoon-expressions/rune/wut.md#wuthep)) that isn't handled.

133+there's a case in a `?-` ([**wuthep**](@/docs/hoon/hoon-expressions/rune/wut.md#wuthep)) that isn't handled.

134134

135135## Runtime crashes

136136

@@ -144,7 +144,7 @@ infinite loop will time out either too slowly or too fast). The

144144stack trace will show what your code was doing when interrupted.

145145

146146The counterpart of `~!` for runtime crashes is `~|`

147−([**sigbar**](@/docs/reference/hoon-expressions/rune/sig.md#sigbar)):

147+([**sigbar**](@/docs/hoon/hoon-expressions/rune/sig.md#sigbar)):

148148

149149```hoon

150150~| foo

@@ -160,7 +160,7 @@ The worst possibility, of course, is that your code runs but does

160160the wrong thing. This is relatively unusual in a typed

161161functional language, but it still happens.

162162

163−`~&` ([**sigpam**](@/docs/reference/hoon-expressions/rune/sig.md#sigpam)) is Hoon's debugging printf.

163+`~&` ([**sigpam**](@/docs/hoon/hoon-expressions/rune/sig.md#sigpam)) is Hoon's debugging printf.

164164This pretty-prints its argument:

165165

166166```hoon

@@ -169,7 +169,7 @@ This pretty-prints its argument:

169169```

170170

171171will always print `foo` every time it executes. A variant is

172−`~?` ([**sigwut**](@/docs/reference/hoon-expressions/rune/sig.md#sigwut)), which prints only if a condition is

172+`~?` ([**sigwut**](@/docs/hoon/hoon-expressions/rune/sig.md#sigwut)), which prints only if a condition is

173173true:

174174

175175```hoon