Adrian Howard Mon, 12 Jul 2004 01:31:36 -0700
On 9 Jul 2004, at 04:56, david nicol wrote: [snip]
if you're implementing thunks, why not call it Thunk?
[snip]
Adrian