[Progra] Most Common Unifier in Haskell

[ZaKaRy]

Moin,
was muss ich nochmal in den Hugs reinhacken damit der mir den allgemeinsten Typen für z.B. folgendes ausspuckt:

h x y z = (\x -> h x y) z z

ich würde gerne überprüfen ob dass was ich mir denke richtig ist aber hab vergessen wie ich hugs dazu bringe. SuFu hat leider nicht weitergeholfen.
Danke.

[SpatzenArsch]

Hi,

das Teil in ner Datei speichern und dann in hugs mit

Code: Alles auswählen

:load Datei

laden und danach

Code: Alles auswählen

:t h

eintippen.

mfG
SpatzenArsch

[ZaKaRy]

danköö