
4 Oct
2010
4 Oct
'10
6:18 p.m.
At Mon, 4 Oct 2010 11:08:16 -0800, Robert Ramey wrote:
To summarize - I'm just very uncomfortable with the term "formal symatics" and don't think it can mean anything.
So do I understand correctly that you believe there are no possible meaningful formal semantics for "sort?" -- Dave Abrahams BoostPro Computing http://www.boostpro.com