Hacker News new | ask | show | jobs
by None4U 334 days ago
Yeah, having the expansion rule operate on operators that are clearly not transitive serves no purpose (1 < 2 < 3 is at least a math notation)