irregular ^- goes through empty aura
commitb8647056b35e347a8c23695cd9781f00c39cc130
authordrbeefsupreme <drbeefsupreme@discordja.net>
dateTue 16 Mar 2021, 11:51 (6 years ago)
parent285c415
hoon/reference/auras.md+9−2
@@ -52,5 +52,12 @@ two, starting from A.
5252 @uvJ unsigned, 512-bit integer (frequently used for entropy)
5353```
5454Auras are non-coercive, but conversions may have to go via the empty aura, e.g.
55−`^-(@ud ^-(@ 'foo'))`.
56−
55+```
56+> ^-(@ud ^-(@ 'foo'))
57+7.303.014
58+```
59+This is implicitly done by the irregular form of `^-`.
60+```
61+> `@ud`'foo'
62+7.303.014
63+```