Re: positive type-level naturals

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