Open tjjfvi opened 18 hours ago
Would also be cool to write some code to estimate the time complexity, based on counting the number of interactions for a number of different input sizes. This could be feasible since the interaction count is deterministic.
Should "stop the world" (at the world's earliest convenience), gather
Stats
about one reduction (and all of its children) and return theStats
as an ext val, whose various fields can be queried, as well as printed to stderr.