Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions doc/hoon/tut/6.md
Original file line number Diff line number Diff line change
Expand Up @@ -940,7 +940,7 @@ first item in `a`, selected via the `++snag` function:
`++snag` of course selects any item in the list; but if `b` has a
type more complex than a homogeneous list (eg, the type system
might well know the number of items, etc, etc), Hoon is nowhere
near enough to see that the counter is always 0. So the type
near smart enough to see that the counter is always 0. So the type
produced by `++snag` is the union of all list elements, which is
precisely the type we want for our homogenized list.

Expand All @@ -955,7 +955,7 @@ As for `^.` (`ketdot`, `%ktdt`), we can see it in `++open`:
Ie, `^.(a b)` is `^+((a b) b)` is `^-(_(a b) b)`.

`++weld` prudently casts its product to the type of the base list
`b`. In future this `^+` will probably be removed, since we are
`b`. In the future this `^+` will probably be removed, since we are
perfectly capable of inferring that when you weld `(list a)` and
`(list b)`, you get a `(list ?(a b))`. But there's old code this
change might confuse.
Expand Down