13 Nov
2014
13 Nov
'14
2:27 a.m.
On 2014-11-11 at 10:35:20 +0100, 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
FYI, here's a first draft for its implementation https://phabricator.haskell.org/D473 It currently uses non-saturating arithmetic, but that's not set in stone. A test-suite is in the works; if you notice anything odd in the code, please annotate the patch (click on the line-numbers to create an inline-comment, and don't forget to commit all inline annotations by submitting the comment-form at the bottom of that page) Cheers, hvr