Zulip Chat Archive

Stream: triage

Topic: PR #2630: refactor(computability/reduce): define many-one...


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

Today I chose PR 2630 for discussion!

refactor(computability/reduce): define many-one degrees without parameter
Created by @Gabriel Ebner (@gebner) on 2020-05-08
Labels: WIP

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

view this post on Zulip Random Issue Bot (Nov 21 2020 at 14:18):

Today I chose PR 2630 for discussion!

refactor(computability/reduce): define many-one degrees without parameter
Created by @Gabriel Ebner (@gebner) on 2020-05-08
Labels: WIP

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

view this post on Zulip Random Issue Bot (Dec 04 2020 at 14:22):

Today I chose PR 2630 for discussion!

refactor(computability/reduce): define many-one degrees without parameter
Created by @Gabriel Ebner (@gebner) on 2020-05-08
Labels: WIP

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

view this post on Zulip Random Issue Bot (Jan 10 2021 at 14:32):

Today I chose PR 2630 for discussion!

refactor(computability/reduce): define many-one degrees without parameter
Created by @Gabriel Ebner (@gebner) on 2020-05-08
Labels: awaiting-review

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

view this post on Zulip Gabriel Ebner (Jan 11 2021 at 15:48):

This maybe went under during LT2021, but I've refactored the PR according to Mario's suggestions, which lead to a significant simplification.


Last updated: May 09 2021 at 16:20 UTC