Skip to content

Eq1 / Ord1 deriving #2702

Closed
Closed
Eq1 / Ord1 deriving#2702
Labels
type: enhancement
Milestone
1.0

Description

@garyb
garyb
opened on Mar 3, 2017

I'll perhaps take a break from annotations work on this at the weekend, would be nice to have for 0.11.

Metadata

Metadata

Assignees

No one assigned

    Labels

    type: enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions