j
k
j a
j l
On 4/18/05, Lloyd Allison <Lloyd.Allison@infotech.monash.edu.au> wrote:
Is it possible to define Y in Haskell (pref' H98) -- and get it to pass type checking?
I believe that y f = f (y f) is the normal way to do it. .trev
Back to the thread
Back to the list