Zulip Chat Archive

Stream: triage

Topic: issue #11682: command to unpack an existential with `clas...


Random Issue Bot (Apr 08 2022 at 14:13):

Today I chose issue 11682 for discussion!

command to unpack an existential with classical.some
Created by @Rob Lewis (@robertylewis) on 2022-01-27
Labels: meta, feature-request, good-first-project

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

Random Issue Bot (Jun 28 2022 at 14:19):

Today I chose issue 11682 for discussion!

command to unpack an existential with classical.some
Created by @Rob Lewis (@robertylewis) on 2022-01-27
Labels: meta, feature-request, good-first-project

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


Last updated: Dec 20 2023 at 11:08 UTC