Hacker News new | ask | show | jobs
by GavinMcG 1606 days ago
I don't think "→" necessarily misrepresents the meaning of "->" (though see the objections throughout the thread re: differing ways that languages notate "not equal to.")

The point is that programming isn't just an exercise in semantics. But it is deterministic symbolically.