⚲



Urbit / Documentation

Install ->
Operations Manual ->
Developer's Guide ->
Glossary

Tutorials

Ship Troubleshooting

Creating an Invite Pool

Guide to Breaches

Arvo

Arvo

Ames

Behn

Clay

Dill

Eyre

Ford

Gall Apps

Move trace

Concepts

Technical overview

Azimuth

Hoon

1.1 Setup

1.1.1 Walkthrough: List of Numbers

1.2 Nouns

1.3 Hoon Syntax

1.3.1 Walkthrough: Conditionals

1.4 Gates (Hoon Functions)

1.4.1 Walkthrough: Recursion

1.5 Lists

1.5.1 Walkthrough: Fibonacci Sequence

1.6 The Subject and Its Legs

1.6.1 Walkthrough: Ackermann Function

1.7 Arms and Cores

1.7.1 Walkthrough: Caesar Cipher

1.8 Doors

1.8.1 Bank Account

1.9 Generators

2.1 Atoms, Auras, and Simple Cell Types

2.2 Type Checking and Type Inference

2.3 Structures and Complex Types

2.3.1 Walkthrough: Libraries

2.3.2 Molds

2.4 Standard Library: Trees, Sets, and Maps

2.5 Type Polymorphism

2.5.1 Walkthrough: Iron Polymorphism and Wet Polymorphism

2.5.2 Walkthrough: Lead Polymorphism

2.6 Behn

2.7 Gall

2.7.1 Gall Walkthrough: Egg Timer

Writing Aqua Tests

2.7.2 Gall: Async Monad

2.8 Ford

2.8.1 Unit Testing with Ford

2.9.1 Walkthrough: Landscape Tile

Appendix: Hoon Style Guide

Hoon Workbook

Digits

Magic 8-Ball

Traffic Light

Bomb Defusing

Nock

Nock Definition

Explanation

Example

Implementations

Vere

C Runtime System

Land of Nouns

API overview by prefix

C in Urbit

Writing Jets

Reference

Hoon Expressions

Basic Types

Advanced Types

Irregular forms

Runes

Atoms and strings

Nock . ('dot')

Wild ! ('zap')

Change Subject = ('tis')

Conditionals ? ('wut')

Cores | ('bar')

Arms + ('lus')

Cells : ('col')

Calls % ('cen')

Casts ^ ('ket')

Structures $ ('buc')

Make ; ('mic')

Hints ~ ('sig')

Terminators -- and ==

Limbs and wings

Limbs

Wings

Standard library

Table of Contents

1a: Basic Arithmetic

1b: Tree Addressing

1c: Molds and Mold-Builders

2a: Unit Logic

2b: List Logic

2c: Bit Arithmetic

2d: Bit Logic

2e: Insecure Hashing

2f: Noun Ordering

2g: Unsigned Powers

2h: Set Logic

2i: Map Logic

2j: Jar and Jug Logic

2k: Queue Logic

2l: Container from Container

2m: Container from Noun

2n: Functional Hacks

2o: Normalizing Containers

2p: Serialization

2q: Molds and Mold-Builders

3a: Modular and Signed Ints

3b: Floating Point

3c: Urbit Time

3d: SHA Hash Family

3e: AES encryption (Removed)

3f: Scrambling

3g: Molds and Mold-Builders

4a: Exotic Bases

4b: Text Processing

4c: Tank Printer

4d: Parsing (Tracing)

4e: Parsing (Combinators)

4f: Parsing (Rule-Builders)

4g: Parsing (Outside Caller)

4h: Parsing (ASCII Glyphs)

4i: Parsing (Useful Idioms)

4j: Parsing (Bases and Base Digits)

4k: Atom Printing

4l: Atom Parsing

4m: Formatting Functions

4n: Virtualization

4o: Molds

5a: Compiler Utilities

5b: Macro Expansion

5c: Compiler Backend & Prettyprinter

5d: Parser

5e: Caching Compiler

5f: Molds and Mold-Builders

5g: profiling support

Vane APIs

Gall

Urbit / Documentation

5g: profiling support

(To be documented)