Merge pull request #363 from urbit/rmariani-patch-1
Fixes wutlus pseudocode
commit211e8046dc0fe6384340c5eb123b26cdb68599cc
authorDavid Kerschner <dkerschner@hcoop.net>
dateWed 30 Jan 2019, 11:16 (8 years ago)
parent26c10473a74988
reference/hoon-expressions/rune/wut.udon+3−3
@@ -373,9 +373,9 @@ a union, with a default.
373373*Pseudocode*: `a`, `b`, `c`, ... as elements of `r`:
374374
375375```
376−?: ?=(p.a) q.a
377−?: ?=(p.b) q.b
378−?: ?=(p.c) q.c
376+?: ?=(p.a p) q.a
377+?: ?=(p.b p) q.b
378+?: ?=(p.c p) q.c
379379...
380380q
381381```