Timing information for the previous substitution-as-list representation. As the new one is significantly faster, making it the new master
Timing information for the previous substitution-as-list representation.
As the new one is significantly faster, making it the new master

michel-slm/minikanren-scala