fix: | operator recursive definition
commit8e03a3602c0ad32d5d68cd45a59a14648c47b7a9
authorWilliam Yznaga <wyznaga@gmail.com>
dateMon 28 Jan 2019, 16:02 (8 years ago)
parent301227a
learn/arvo/hoon/the-subject-and-its-legs.udon+1−1
@@ -246,7 +246,7 @@ For example, let `n` be 4. What is `&4`? `&3` is equivalent to `+14`. `(14 x
246246~
247247```
248248
249−As with `&n`, we can characterize `|n` recursively. In the base case, `|1` is `+3`. In the generating case, assume that `&(n - 1)` is equivalent to `+k`. Then `&n` is equivalent to `+((k x 2) + 3)`.
249+As with `&n`, we can characterize `|n` recursively. In the base case, `|1` is `+3`. In the generating case, assume that `|(n - 1)` is equivalent to `+k`. Then `|n` is equivalent to `+((k x 2) + 1)`.
250250
251251### Other Limb Expressions: Names
252252