Skip to content

Clarify relationship between Ord and Eq by updating the antisymmetry law#298

Merged
JordanMartinez merged 2 commits into
purescript:masterfrom
JamieBallingall:ordeq
Jul 7, 2022
Merged

Clarify relationship between Ord and Eq by updating the antisymmetry law#298
JordanMartinez merged 2 commits into
purescript:masterfrom
JamieBallingall:ordeq

Update changelog

27e777f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs