Open robrix opened 9 years ago
Document the use of Either in reduce for early termination of reduction in the README.
Either
reduce
Document the use of
Either
inreduce
for early termination of reduction in the README.