on master help sign in
typo correction
commit7ccddc37a8c4052aafdeb3a595bf424329bbd0c3 authordel-distributed <93844417+del-distributed@users.noreply.github.com> dateSun 30 Jan 2022, 05:15 (5 years ago) parentba1170a
1 file changed+1−1
content/docs/hoon/hoon-school/type-polymorphism.md+1−1
content/docs/hoon/hoon-school/type-polymorphism.md+1−1
@@ -267,7 +267,7 @@ Let's say you want to write a function that takes a gate as one (or more) of its
267267
268268It's quite useful to be able to pass cores as arguments. But let's think about how to write a function that accepts a core as input. How do we define a sample so that it accepts a core?
269269
270−We _could_ define the sample by example -- i.e., with `$_`, or `_` for short -- using a core. Consider the following, in which `mycore` is the example core and `apply` is function that accepts gates:
270+We _could_ define the sample by example -- i.e., with `$_`, or `_` for short -- using a core. Consider the following, in which `mycore` is the example core and `apply` is a function that accepts gates:
271271
272272```
273273> =mycore =>([12 13] |=(a=@ +(a)))