Zulip Chat Archive

Stream: triage

Topic: PR !4#3251: feat: deriving `LinearOrder` for simple enoug...


Random Issue Bot (Feb 23 2024 at 14:05):

Today I chose PR 3251 for discussion!

feat: deriving LinearOrder for simple enough inductive types
Created by @Kyle Miller (@kmill) on 2023-04-03
Labels: WIP, awaiting-author, t-meta

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

Random Issue Bot (Feb 20 2025 at 14:12):

Today I chose PR #3251 for discussion!

feat: deriving LinearOrder for simple enough inductive types
Created by @Kyle Miller (@kmill) on 2023-04-03
Labels: WIP, awaiting-author, merge-conflict, t-meta

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


Last updated: May 02 2025 at 03:31 UTC