Grahame Grieve wrote: > > > But I think, due to the nature of ADL, that there is > no computationally provable answer to whether any given > specialisation is properly formed (at least in the > general case).
actually, with a bit more time, I believe I will have the mathematical proof for ADL. - thomas - If you have any questions about using this list, please send a message to d.lloyd at openehr.org
