@@ -413,7 +413,7 @@ which we use in `axe.hoon`: `print`, `prompt`, and `produce`.
414In our example, `%+` is the rune to call a gate, and our gate `print` takes one
414In our example, `%+` is the rune to call a gate, and our gate `print` takes one
415argument which is a `tank` to print. The `+` here is syntactic sugar for
415argument which is a `tank` to print. The `+` here is syntactic sugar for
416−`[leaf "What is your favorite color?"]` that just makes it easier to write.
416+`[%leaf "What is your favorite color?"]` that just makes it easier to write.
418**`prompt`** is used to construct a prompt for the user to provide input.
418**`prompt`** is used to construct a prompt for the user to provide input.
419It takes a single argument that is a tuple. Most `%ask` generators will want to
419It takes a single argument that is a tuple. Most `%ask` generators will want to