undo change to +add
commite28811175c73fdaf02b86f7d88e07d039591ab2d
authorsyzygyzer <jon.paprocki@tlon.io>
dateWed 11 Sep 2019, 15:03 (7 years ago)
parent4139177
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
190190We run it in the dojo using a cell to pass the two arguments:
191191
192192```
193−> (add 12 14)
193+> +add 12 14
19419426
195195
196−> (add 22)
196+> +add 22
197197nest-fail
198198```
199199