Skip to content

Drop deprecated group' and mapWithIndex#206

Merged
thomashoneyman merged 4 commits intopurescript:masterfrom
JordanMartinez:dropDeprecated
Mar 17, 2022
Merged

Drop deprecated `group'` and `mapWithIndex`#206
thomashoneyman merged 4 commits intopurescript:masterfrom
JordanMartinez:dropDeprecated

Commits

Commits on Mar 17, 2022