On Fri, 22 Nov 2002, Jeremy Carroll wrote: > > [[ > The cross-datatype entailment test cases are reasonably clear cut, from > a mathematical point of view, I think. But Patrick raises a good point > when he asks (with a weather eye on implementation?) "what does it mean > to say that datatype X is supported?" > ]] > > Are the test cases primarily, tests for implementors; or are they primarily > tests about our language. I agree with Jeremy; the test cases are indended to be illustrative. It's just a happy coincidence* that we've got an implementation that can run the (majority of the?) entailment tests. jan * for some values of, plus a lot of Jos' hard work -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/ Donate a signature: http://ioctl.org/jan/sig-submitReceived on Saturday, 23 November 2002 05:40:04 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:09 EDT