Zulip Chat Archive

Stream: general

Topic: Apply composition

view this post on Zulip Patrick Massot (Feb 27 2019 at 09:43):

Is there a reason for the duplication function.comp_app = function.comp_apply between core and mathlib? Is it because of naming conventions?

view this post on Zulip Kenny Lau (Feb 27 2019 at 09:46):

because mathlib blah blah blah independent of core blah blah blah because it will not be in core soon blah blah blah

Last updated: May 10 2021 at 18:22 UTC