Re: positive type-level naturals

16 Mar
2014
16 Mar
'14
2:28 p.m.
Am 16.03.2014 13:48, schrieb Dan Frumin:
This is just a wild guess, but is there a possibility that (1+n) will produce less complaints than (n+1)?
unfortunately no
4136
Age (days ago)
4136
Last active (days ago)
0 comments
1 participants
participants (1)
-
Henning Thielemann