|
|
|
|
|
|
by scottdw2
4372 days ago
|
|
|
This is a nitpick, but it is lazy. It's not represented in head normal form, but it's still lazy. The limitations you mentioned are not an artifact of the implementation being eager(because it's not eager), but instead are an artifact of the representation used. |
|
|