22 Dec
2009
22 Dec
'09
5:06 a.m.
Am Montag 21 Dezember 2009 21:02:06 schrieb kane96@gmx.de:
your type is data Nat = S Nat | Z and not data Nat = 1 + Nat | 0
Do I have to use something like fromEnum (S Z)? Or or the iteration wrong?
Which operation on Nat corresponds to (1 +) on Int[eger] ?