On Mon, 2009-02-16 at 15:30 +0100, Fraser Wilson wrote: > Super! Also, best definition of bottom I've yet seen -- "ignoring _| > _, which is a party pooper". Like good code, it's short, to the > point, and obviously correct.
This brings up something I've thought about: On page 8, it is said that Pointed doesn't need to be checked because the theorem comes for free, but the free theorems paper was based upon total functions only; does having _|_ affect the free theorem for Pointed? - George
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
