Re: mathlib

[Patrick Donnelly <batrick@...>]

On Mon, Apr 7, 2014 at 3:02 PM, Hisham <h@hisham.hm> wrote:
> On this whole discussion, if there are functions to go away, it seems
> the only one that's really a no-brainer for removal is math.pow. Yet,
> by the same logic, another clear candidate for removal which I haven't
> seen mentioned is string.len (curiously, I used it for the first time
> in _years_ last week as an argument for a map-like function — I guess
> that's why I remembered it exists; wouldn't mind using `function(x)
> return #x end` in its place though).

Excellent point, I hope string.len is also on the chopping block.

-- 
Patrick Donnelly