git.iko.soy/urbit.org
on master help sign in
irregular ^- goes through empty aura
b864705drbeefsupreme
hoon/reference/auras.md+9−2
compare with master
unifiedsplit
@@ -52,5 +52,12 @@ two, starting from A.
52 @uvJ unsigned, 512-bit integer (frequently used for entropy)
52 @uvJ unsigned, 512-bit integer (frequently used for entropy)
53```
53```
54Auras are non-coercive, but conversions may have to go via the empty aura, e.g.
54Auras are non-coercive, but conversions may have to go via the empty aura, e.g.
55+```
55−`^-(@ud ^-(@ 'foo'))`.
56+> ^-(@ud ^-(@ 'foo'))
56−
57+7.303.014
58+```
59+This is implicitly done by the irregular form of `^-`.
60+```
61+> `@ud`'foo'
62+7.303.014
63+```