3 ms·Logarithms of algebraic data types for property-based testing (2022)3 points by fanf2 1y agodeleted 1y ago[deleted]