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' )