4 Apr
2017
4 Apr
'17
4:43 a.m.
Tony Morris
A contrary, consistent position would mean there is a belief in all of the following:
* the length of any value of the type ((,) a) is not 1 * 0 is not an integer
You say this, but I’m wondering why. (-1) is also an integer, so can you give me an example for the (-1) case? — Jón