Re: mathlib
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: mathlib
- From: Michel Martens <soveran@...>
- Date: Thu, 3 Apr 2014 19:35:05 -0300
On 3 April 2014 17:35, Roberto Ierusalimschy <roberto@inf.puc-rio.br> wrote:
> We are considering removing some functions from the standard math lib,
> either because we think few people use them or because they are trivially
> implemented without the library.
All of them can go, in my opinion. By the way, I love this mindset.