Manually implemented PartialOrd and added a test for it#10
Merged
anderslanglands merged 1 commit intoanderslanglands:masterfrom May 10, 2020
Merged
Manually implemented PartialOrd and added a test for it#10anderslanglands merged 1 commit intoanderslanglands:masterfrom
anderslanglands merged 1 commit intoanderslanglands:masterfrom