@@ -41,15 +41,15 @@ substituting the input types parameterized by `a` into `b`.
42##### Expands to
42##### Expands to
44−I'm having some trouble deciphering this, would appreciate help. From `hoon.hoon`:
46− {$brbs *} =- ?~ - !!
45+|$ [a b]
47− [%brtr [%bscl -] [%ktcl body.gen]]
46+body
48− %+ turn `(list term)`sample.gen
47+```
51− =/ tar [%base %noun]
50+|* [a=$~(* $-(* *)) b=$~(* $-(* *))]
52− [%bsts term [%bssg tar [%bshp tar tar]]]
51+^:
55##### Discussion
55##### Discussion