Hacker News new | ask | show | jobs
by OscarCunningham 2988 days ago
One can at least say that in formal ZFC the symbol "=" has exactly one interpretation. And it's this interpretation that people talking about Haskell are referring to.