30 Jun
2003
30 Jun
'03
9:38 a.m.
At 2003-06-30 01:55, Ralf Hinze wrote:
What about mantissa (| Double |) + 4 ?
This would work perfectly with my method if (| Double |) were syntactic sugar for (mkType :: Type Double) or similar. I really think it's the most straightforward way of doing it and I hazard the easiest to implement. -- Ashley Yakeley, Seattle WA Almost empty page: <http://semantic.org/>