on master help sign in
Typo in type spear discussion
f008102hosted-fornet
tutorials/hoon/hoon-school/type-checking-and-type-inference.md+1−1
@@ -316,7 +316,7 @@ To get just the inferred type of a expression, we only want the head of the `!>`
316#t/@
316#t/@
317```
317```
318
318
319−Now let's try using `?=` with `?:` again. But this time we'll replace `[& b]` with `[& -:!>(b)]` and `[& b]` with `[| -:!>(b)]`. With `b` as `12`:
319+Now let's try using `?=` with `?:` again. But this time we'll replace `[& b]` with `[& -:!>(b)]` and `[| b]` with `[| -:!>(b)]`. With `b` as `12`:
320
320
321```
321```
322> =/(b=* 12 ?:(?=(@ b) [& -:!>(b)] [| -:!>(b)]))
322> =/(b=* 12 ?:(?=(@ b) [& -:!>(b)] [| -:!>(b)]))