Posts for May 2014 2014-05-27Verifying Typeclass Laws in Haskell with QuickCheck 2014-05-14Duplicating Spheres and the Banach-Tarski Paradox