14 Jan
2009
14 Jan
'09
5:47 p.m.
AMDG Eric Niebler wrote:
In addition to sequence tag, what about tag, plus_tag, minus_tag, etc?
What are these, and where are they used?
tag seems to be used for dispatching iterator functionality. plus_tag is used to dispatch for plus. The other numeric operators are similar. In Christ, Steven Watanabe