15 Nov
2018
15 Nov
'18
7:28 p.m.
That is precisely correct. And I have heard that it has actually been used that way ... once. It's not exactly a common application. On Thu, Nov 15, 2018 at 1:39 PM Henning Thielemann <lemming@henning-thielemann.de> wrote:
On Tue, 13 Nov 2018, David Feuer wrote:
No, genericLength is *not* a decent stopgap. It's horrible. Just look at the implementation!
It looks like it is intended to return something like a lazy Peano number.