No, the Prelude has not been rewritten and there are no plans to do so. Which axiomatic set should be the basis of a Mathematical Prelude? That's a rather tough

No, the Prelude has not been rewritten and there are no plans to do so. Which axiomatic set should be the basis of a Mathematical Prelude? That's a rather tough question to answer, being that there are many arbitrary but not quite compatible answers. Instead, the focus has shifted to shrinking the Prelude, at least in Haskell': http://hackage.haskell.org/trac/haskell-prime/wiki/Prelude http://hackage.haskell.org/trac/haskell-prime/wiki/Prelude