Closed robrix closed 7 years ago
This PR benchmarks three different approaches to retract, and based on the results, redefines iterFreer with direct recursion.
retract
iterFreer
This PR benchmarks three different approaches to
retract
, and based on the results, redefinesiterFreer
with direct recursion.