11 Nov
2014
11 Nov
'14
8:11 a.m.
On Tue, 11 Nov 2014, Herbert Valerio Riedel wrote:
Hello CLC et al.,
I hereby suggest to add a type for encoding term-level naturals
data Natural =
deriving (...the usual standard classes...) to `base:Data.Word` module
This type is useful, no doubt. But so far Data.Word (and Data.Int) are modules for fixed size machine oriented integer types. Would be nice to have Natural located where Integer is. Unfortunately, so far Integer is only exported by Prelude and GHC.Integer.