Typo in type spear discussion
commitf008102cbda8ed3fad198e49338490fe8dd8cea9
authorhosted-fornet <hosted-fornet@protonmail.com>
dateSun 21 Feb 2021, 14:55 (6 years ago)
parent80b739a
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 `!>`
316316#t/@
317317```
318318
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`:
320320
321321```
322322> =/(b=* 12 ?:(?=(@ b) [& -:!>(b)] [| -:!>(b)]))