constant space `minimum'
lennart at augustsson.net
Thu Sep 30 08:22:35 EDT 2004
On Thu, 30 Sep 2004, Serge D. Mechveliani wrote:
> I thought naively that the Report function definitions can be treated
> more flexy, varied by implementations, with preserving some declared
> main properties.
The definitions in the Report are to be treated as specifications.
Any implementation should have *exactly* the same denotation as
the function in the Report.
What use would the Report be if you didn't treat it this way?
More information about the Glasgow-haskell-users