PR !4#12429: feat: toND -- auto-generating natDegree

Stream: triage

[Random Issue Bot]

Today I chose PR 12429 for discussion!

feat: toND -- auto-generating natDegree
Created by @damiano (@adomani) on 2024-04-25
Labels: merge-conflict, t-meta, RFC, t-algebra

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

[Random Issue Bot]

Today I chose PR 12429 for discussion!

feat: toND -- auto-generating natDegree
Created by @damiano (@adomani) on 2024-04-25
Labels: merge-conflict, t-meta, RFC, t-algebra

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

[Damiano Testa]

This is work in progress.

I would like to automate the generation of a few of these pairs of types: degree/natDegree, degree/trailingDegree, natDegree/natTrailingDegree.

[Damiano Testa]

I already have an almost complete translation of MonoidAlgebra --> AddMonoidAlgebra in the Basic file.

[Random Issue Bot]

Today I chose PR 12429 for discussion!

feat: toND -- auto-generating natDegree
Created by @damiano (@adomani) on 2024-04-25
Labels: awaiting-author, merge-conflict, t-meta, RFC, t-algebra

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