-
Notifications
You must be signed in to change notification settings - Fork 14
Pull requests: haskellari/some
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Make EqP be as superclass of GEq, OrdP of GCompare
#70
opened Apr 27, 2026 by
phadej
Collaborator
Loading…
Create
GCoercible class, analogous to GEq
#46
opened Apr 9, 2022 by
Ericson2314
Contributor
Loading…
WIP: Add quantified constraint superclasses
#21
opened Jan 27, 2020 by
Ericson2314
Contributor
•
Draft
ProTip!
Follow long discussions with comments:>50.