Zulip Chat Archive
Stream: new members
Topic: I'm just using lean lol
Felipe Soares (Apr 29 2022 at 13:32):
Is addition already defined?
Yaël Dillies (Apr 29 2022 at 13:39):
Addition of what? Addition in general? If so, yes. Don't know what we would do without that :sweat_smile:
Last updated: Dec 20 2023 at 11:08 UTC