Hacker News new | ask | show | jobs
by manu3000 3492 days ago
it's a convention in ML languages, for a name whose value has been modified