Added definition of "pier"
commite8bcd77ed9579cc7b468ac4546786f616fc81369
authorJoshua Reagan <joshuareagan@users.noreply.github.com>
dateMon 2 Oct 2017, 23:36 (9 years ago)
parent618470b
docs/about/glossary.md+4
@@ -57,6 +57,10 @@ whose number is its bottom half. So the planet `~firbyr-napbes`,
5757`48.879`, whose parent is `~mun`, `0xef`, `239`. The parent of `~mun`
5858and all galaxies is `~zod`, `0`.
5959
60+##### Pier
61+
62+A ship's *pier* is its Unix directory. For planets the name of the pier is usually the planet name.
63+
6064### Nock
6165
6266> Nock is a Turing-complete, non-lambda combinator interpreter.