Zulip Chat Archive

Stream: triage

Topic: issue #930: feat(algebra): add additive versions for free...


view this post on Zulip Random Issue Bot (Nov 12 2020 at 14:17):

Today I chose issue 930 for discussion!

feat(algebra): add additive versions for free constructions
Created by @Johan Commelin (@jcommelin) on 2019-04-13
Labels: easy, feature-request, help wanted

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Eric Wieser (Nov 12 2020 at 14:36):

@Kenny Lau, can this be closed? You made a PR that's now merged; did it address the whole issue?

view this post on Zulip Kenny Lau (Nov 13 2020 at 17:58):

@Johan Commelin

view this post on Zulip Johan Commelin (Nov 13 2020 at 18:02):

LGTM, I closed the issue


Last updated: May 18 2021 at 22:15 UTC