17 Jul
2008
17 Jul
'08
8:11 p.m.
AMDG Robert Jones wrote:
Ah... that 's getting there! And so presumably by extension I can write
& ( & _1 ->* & V :: value_type :: second ) ->* & S :: pred;
or is that a step too far?
I think that you would actually need (untested): bind(&( & _1 ->* & V :: value_type :: second ) ->* & S :: pred) In Christ, Steven Watanabe