Skip to content

Ring fails to re-export various raw structures #1688

@Taneb

Description

@Taneb

I haven't investigated to see how big this problem is, but Algebra.Bundles.Ring is missing at least +-rawGroup and rawNearSemiring

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions