Handbook
Glossary
Smart arrow models
The
models.arrow.smart
vocabulary generalizes arrows to arbitrary input arity. They're called “smart” because they resemble
Smart combinators
.
<smart-arrow>
( quot -- quot' )