Zulip Chat Archive
Stream: triage
Topic: issue #6123: `ext` recurses into subgoals, `ext x y z` an...
Random Issue Bot (Oct 25 2021 at 14:19):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 16 2021 at 14:19):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Mar 12 2022 at 14:11):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (May 06 2022 at 14:21):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Sep 23 2022 at 14:31):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 27 2022 at 14:29):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 16 2022 at 14:08):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 06 2022 at 14:08):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 21 2022 at 14:09):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 06 2023 at 14:09):
Today I chose issue 6123 for discussion!
ext recurses into subgoals, ext x y z and ext : n do not
Created by @Eric Wieser (@eric-wieser) on 2021-02-09
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC