search

johnmcfarlane / papers

9 stars 1 forks source link

Fix comment on <=> #5

Open johnmcfarlane opened 6 years ago

johnmcfarlane commented 6 years ago

From SG6:

554R0 refers to the default comparison and now we have spaceship. Thus, need to consider/revise in light of the spaceship operator.