Skip to content

Change idiom from e.g. shuffle to toShuffled and shuffleInPlace to shuffle#142

Merged
chenglou merged 1 commit intomainfrom
cl-ed
May 23, 2023
Merged

Change idiom from e.g. `shuffle` to `toShuffled` and `shuffleInPlace` to `shuffle`#142
chenglou merged 1 commit intomainfrom
cl-ed

Commits

Commits on May 23, 2023