positive type-level naturals

Henning Thielemann lemming at henning-thielemann.de
Sun Mar 16 14:28:54 UTC 2014


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



More information about the Glasgow-haskell-users mailing list