2533: Generic functions that take integral arguments should work the same way as their prelude counterparts

Yitzchak Gale gale at sefer.org
Sun Aug 24 05:11:00 EDT 2008

Sean Leather wrote:
> Can you examples of both naive definitions and fast definitions of Nat? I'm
> curious.

Besides naive or fast, there is also lazy. So for example, using lazy
naturals, the expression genericLength x < genericLength y only
forces enough of x and y to determine which is longer.

Here is John Meacham's implementation:



More information about the Libraries mailing list