Commit 2025-03-05 13:18 9a3c5349
View on Github →feat(Data/List/Basic): add head?_flatten_replicate/getLast?_flatten_replicate (#22510)
Upstreamed from the EquationalTheories project.
feat(Data/List/Basic): add head?_flatten_replicate/getLast?_flatten_replicate (#22510)
Upstreamed from the EquationalTheories project.