11 Nov
2014
11 Nov
'14
1:50 p.m.
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 =
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.