Learn more about cloning repositories
You have read-only access
Merge pull request #4457 from eeckstein/partial-apply-opt Add an optimization to eliminate a partial_apply if all applied arguments are dead in the applied function.
