3a74988 · urbit.org · git.iko.soy

git.iko.soy/urbit.org

on master help sign in

Fixes wutlus pseudocode

3a74988rmariani8 years ago

reference/hoon-expressions/rune/wut.udon+3−3

@@ -373,9 +373,9 @@ a union, with a default.

373*Pseudocode*: `a`, `b`, `c`, ... as elements of `r`:

374

375```

376−?: ?=(p.a) q.a

376+?: ?=(p.a p) q.a

377−?: ?=(p.b) q.b

377+?: ?=(p.b p) q.b

378−?: ?=(p.c) q.c

378+?: ?=(p.c p) q.c

379...

380q

381```