5 Apr
2017
5 Apr
'17
10:51 a.m.
Am 01.04.2017 um 03:27 schrieb Tony Morris:
The length of ((,) a) is exactly one. Anything else is ridiculous. Try arguing against that,
Half true: length for this type makes no sense at all since it is not a sequence. So there should be no length defined for it. Just choose a different name. Cheers Ben