git.iko.soy/urbit.org
on master help sign in
makes <-> is
f792942poprox
reference/hoon-expressions/rune/bar.md+1−1
compare with master
unifiedsplit
@@ -33,7 +33,7 @@ AST:
33
33
34##### Semantics
34##### Semantics
35
35
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
37produced is polymorphic in its input types. `a` is a `lest` of `term` used as
37produced is polymorphic in its input types. `a` is a `lest` of `term` used as
38identifiers for the input types. `b` is a structure built from elements of `a`.
38identifiers for the input types. `b` is a structure built from elements of `a`.
39The output of `|$` is a mold builder that produces a `spec` obtained by
39The output of `|$` is a mold builder that produces a `spec` obtained by