Re: [Haskell-cafe] Is Harper right that Haskell cannot model the natural numbers?

[Albert Y. C. Lai]

On 11-05-02 11:25 PM, Richard O'Keefe wrote:

Fair enough, but what about

        data Nat = Zero | Succ !Nat

It works. I say, Harper forgot it.

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe