Add partition-is-foldr to Data.List.Properties (#2505)
#3814
| Job | Run time |
|---|---|
| 37m 55s | |
| 37m 55s |
partition-is-foldr to Data.List.Properties (#2505)
#3814
| Job | Run time |
|---|---|
| 37m 55s | |
| 37m 55s |