Comment Comment by scottdw2 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. parent scottdw2 12 years ago
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.