Skip to content

Add Bifunctor instances #6

New issue
New issue
Open
Open
Add Bifunctor instances#6
@lemastero

Description

@lemastero
lemastero
opened on Jun 25, 2022

Add Bifunctor instances from agda-categories.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions