Skip to content

Update Reflexivity law of Ord#301

Open
JamieBallingall wants to merge 2 commits intopurescript:masterfrom JamieBallingall:ordcomment

Commits

Commits on Oct 18, 2022