fix partialord implementation for orderedfloat#35
Closed
cake4289 wants to merge 1 commit intoreem:masterfrom
Closed
fix partialord implementation for orderedfloat#35cake4289 wants to merge 1 commit intoreem:masterfrom
cake4289 wants to merge 1 commit intoreem:masterfrom
Commits
Commits on Oct 19, 2017
- committed
Geoff Allott