makes <-> is
Co-authored-by: Fang <git@fang.io>
commitf792942362722d5e65720bec9eaa96d21721f182
authorpoprox <51337059+syzygyzer@users.noreply.github.com>
dateTue 12 May 2020, 14:49 (6 years ago)
parent6bcae15
reference/hoon-expressions/rune/bar.md+1−1
@@ -33,7 +33,7 @@ AST:
3333
3434##### Semantics
3535
36−`|$` is used to produce a wet gate that makes a mold builder. The mold builder
36+`|$` is used to produce a wet gate that is a mold builder. The mold builder
3737produced is polymorphic in its input types. `a` is a `lest` of `term` used as
3838identifiers for the input types. `b` is a structure built from elements of `a`.
3939The output of `|$` is a mold builder that produces a `spec` obtained by