News for hackers. Stuff that matters.
Re:Seemingly impossible functional programs (2007) by jamesfisher on Tuesday November 17, 2015 @05:19AM (#10580186)
> The next version of the definition of Haskell will have a built-in type of natural numbers.

Did this ever happen? I haven't seen it.

Re:Seemingly impossible functional programs (2007) by Kutta on Tuesday November 17, 2015 @06:21AM (#10580369)
It's been there for a while, although not intensely advertised: https://hackage.haskell.org/package/base-4.8.1.0/docs/Numeri...