Skip to content

Pull requests: haskellari/lattices

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

Heyting instances for Dropped, Lifted and Levitated
#112 opened Mar 13, 2021 by coot Loading…
PartialOrd default impl. for leq via Ord
#94 opened Aug 22, 2019 by spacekitteh Loading…
ProTip! Follow long discussions with comments:>50.