Zulip Chat Archive
Stream: triage
Topic: PR #2630: refactor(computability/reduce): define many-one...
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?
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?
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?
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?
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: Dec 20 2023 at 11:08 UTC