Quickly hashing all subexpressions of a program modulo alpha-renaming - View it on GitHub