3 ms·

>Maybe the non-determinism can be reduced by caching: Just reevaluate the spec if the code actually changes? That would be good anyway to keep the costs reason

by carlmr 1y ago

>Maybe the non-determinism can be reduced by caching: Just reevaluate the spec if the code actually changes? That would be good anyway to keep the costs reasonable.