Skip to content

Add Ord (SymbolicPath a b) instance #7582

Closed
#7585
Closed
Add Ord (SymbolicPath a b) instance#7582
#7585
Labels
attention: pr-welcomegood first issuenewcomer: 1-one-line-changetype: enhancement

Description

@phadej
phadej
opened on Aug 27, 2021
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    attention: pr-welcomegood first issuenewcomer: 1-one-line-changetype: enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions