Skip to content

Pull requests: well-typed/generics-sop

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

all_POP doesn't need a constraint
#177 opened Dec 5, 2023 by phadej Loading…
Move ccase_SList into All class
#149 opened Dec 27, 2021 by ryantrinkle Loading… 0.6
Doctest
#139 opened Apr 11, 2021 by kosmikus Loading…
Add IsSumType
#133 opened Mar 5, 2021 by michaelpj Loading…
append and split NP
#115 opened Feb 4, 2020 by echatav Loading…
Generic generic
#68 opened Jul 4, 2018 by mikeplus64 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.