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