on master help sign in
undo change to +add
e288111syzygyzer
learn/hoon/hoon-tutorial/type-checking-and-type-inference.md+2−2
@@ -190,10 +190,10 @@ $(a +(a), b (dec b)) :: add a+1 and b-1
190We run it in the dojo using a cell to pass the two arguments:
190We run it in the dojo using a cell to pass the two arguments:
191
191
192```
192```
193−> (add 12 14)
193+> +add 12 14
19426
19426
195
195
196−> (add 22)
196+> +add 22
197nest-fail
197nest-fail
198```
198```
199
199