
26 May
2014
26 May
'14
10:25 a.m.
On Mon, May 26, 2014 at 08:21:36PM +0700, Kim-Ee Yeoh wrote:
The length function strikes me as a kludgy stand-in for rnf when rnf is really what's meant.
And depending on the type of the list entries, calling length won't always have the same effect then calling rnf on the list and therefore on all entries of the list. Greetings, Daniel