21 Dec
2009
21 Dec
'09
4:06 p.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] ?