cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Better names from early pass generated functions

Open sorear opened this issue 5 years ago • 0 comments

bvi_aux, bvl_stub, and dec are only so useful when you have hundreds of each. We should be able to find relevant identifiers in the source and assign some interpretable name to them.

sorear avatar Sep 17 '20 03:09 sorear