PROPOSAL: Add 'Natural' type to base:Data.Word
Bardur Arantsson
spam at scientician.net
Tue Nov 11 18:50:04 UTC 2014
On 2014-11-11 10:35, Herbert Valerio Riedel wrote:
> Hello CLC et al.,
>
> I hereby suggest to add a type for encoding term-level naturals
>
> data Natural = <opaque/hidden>
> deriving (...the usual standard classes...)
>
> to `base:Data.Word` module
>
+1, not that I've been particularly *missing* it as such, but it does
make sense in this context.
More information about the Libraries
mailing list