Sigilante

Lagoon hoon

27

This resolves #4455 and #4908 by moving them into `hoon.hoon` and including tests. It does not, as of this message, include pretty-printing or aura detection yet. It creates a new...

Vector Library (Hoon)

25

This PR reflects a subset of the changes in #3536, which has become rather unwieldy. This is the Hoon-only vector-only code for `@lvs` and `@lvd`. Right now, I believe that...

Lessons need minor updates.

1

Documenting current status of lesson usability: 1. `++grad` arms are missing throughout. ```hoon > |commit %home >= gall: read-at-aeon fail [care=%b case=[%da p=~2021.9.5..14.25.27..3e7a] path=/chanel-action] -find.grad [%error-building-mark %chanel-action] [%error-building-dais %chanel-action] gall:...

This is due to a recent change in how threads are processed post-Distribution. It yields an error but still succeeds. See https://github.com/urbit/developers.urbit.org/issues/145

(alternatively, link to READMEs in subdirs)

Add state machine vane.

3

Simplest possible state machine in Hoon: ```hoon =| n=@ud |= ~ .(n +(n)) ``` next step up is to add read arm and write arm to make more usable ```hoon...

Add error message testing arm

3

Target tested code: ```hoon ++ fail |= * ~|(%an-error-message !!) ``` Usage in a test thread: ```hoon ++ test-failure %+ expect-fail-message %an-error-message |. (fail:main ~) ``` A recursive `+find` could...

Add keyword parser to Hoon.

10

In the original Urbit whitepaper, two versions of Hoon were presented. This is a modification to `/sys/hoon` which enables keyword Hoon. Keyword Hoon keywords are prefixed with `#` hax. The...

(Userspace trawl) Create ++geq/++leq

1

LaTeX-style names for `++gte`/`++lte`.

(Userspace trawl) Post basic libmath.

6

Should write up some tests for these but spot tests are okay.