1. 2012-02-28 Re: [Haskell-cafe] Theorems for free! haskell-c Patrick Browne 2. 2012-02-27 Re: [Haskell-cafe] Theorems for free! haskell-c Patrick Browne 3. 2012-02-27 [Haskell-cafe] Theorems for free! haskell-c Patrick Browne