Skip to content

[ add ] Data.Parity admits a(n) (Is)Boolean(Semi)Ring structure/bundle #2947

Open
Open
[ add ] Data.Parity admits a(n) (Is)Boolean(Semi)Ring structure/bundle#2947
Labels
additionlow-hanging-fruit
@jamesmckinna

Description

@jamesmckinna
jamesmckinna
opened on Feb 19, 2026

Obvious extension, following #2763 , plus it's the Initial object in the category (is it)?

Metadata

Metadata

Assignees

No one assigned

    Labels

    additionlow-hanging-fruit

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions