HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by gsg | Hacker News Reader
Parent
Full thread
gsg
·
Because S <: S in most (all?) type systems with subtyping.
View on HN
jordigh
·
Then use \leq, like any other reflexive, antisymmetric, transitive relation.
Reply on news.ycombinator.com