20 Mar
2009
20 Mar
'09
2:43 a.m.
Luke Palmer wrote:
Well, it's probably not what you're looking for, but to remain true to the domain-theoretical roots of "fix", the "least fixed point above" can be implemented as:
fixAbove f x = fix f `lub` x
How can this be right if f is never applied to x? Or maybe you're trying to do something other than I think you are, in which case: sorry for the confusion. :-) Martijn.