18 Nov
2014
18 Nov
'14
10:38 a.m.
Hi.
I hereby suggest to add a type for encoding term-level naturals
data Natural =
deriving (...the usual standard classes...)
+1 in general FWIW, I'm in favour of: * not putting this into Data.Word, but rather into Data.Nat or Data.Natural * having default subtraction to be saturated rather than partial * adding a Nat type for bounded naturals as well (even if it's just a synonym for Word) Cheers, Andres