[Haskell-beginners] Simple function comparison

MJ Williams matthewjwilliams101 at gmail.com
Wed Nov 25 15:48:08 UTC 2015


>I don't think there is a way to /prove/ f (g a) == g (f a) if their 
>domain is not finite inside Haskell (you could do it with pen and paper).
         Just out of interest, could you demonstrate the proof 
without a finite domain?

Sincerely, Matthew

More information about the Beginners mailing list