⚲



Urbit / Documentation

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

Tutorials

Ship Troubleshooting

Creating an Invite Pool

Guide to Breaches

Arvo

Ames

Behn

Clay

Dill

Eyre

Ford

Gall Apps

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.6 Behn

2.5.2 Walkthrough: Lead Polymorphism

2.7 Gall

2.7.1 Gall Walkthrough: Egg Timer

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)