| commit | 6cd29789ca866464dc3af89f62c98c41264ce3cd | |
| author | mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |
| Sun, 20 Nov 2022 01:00:29 +0000 (20 01:00 +0000) | ||
| committer | GitHub <noreply@github.com> | |
| Sun, 20 Nov 2022 01:00:29 +0000 (20 01:00 +0000) | ||
| tree | bbed18421583f3f64bbbbd432432401a6fd6d106 | treesnapshot (tar.gz zip) |
| parent | 050c3c5308360e9c02a2da15526078858f4cf289 | commitdiff |
| parent | 60c2c91e8b2995c756dc3f51557502adc55054b5 | commitdiff |
Merge pull request #8608 from Bodigrim/avoid-head-and-tail
Avoid `Data.List.{head,tail}`
Avoid `Data.List.{head,tail}`