On 30 September 2012 22:48, Joshua Landau <joshua.landau.ws@gmail.com> wrote:
This seems like a problem for the proposal, though: we can't have it in the math library if it's a method!