Right, the point would be for the hash to strip out file info, line numbers, whitespace, comments, any stylistic choices which turn out to be equivalent &quot;under-the-hood&quot; in some straightforward way, and probably even the bound variable names (with de Bruijn indexes).