Re: positive type-level naturals

16 Mar
2014
16 Mar
'14
10:28 a.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
4084
Age (days ago)
4084
Last active (days ago)
0 comments
1 participants
participants (1)
-
Henning Thielemann