12 Nov
2014
12 Nov
'14
12:20 a.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.