stgi v1.0.1 Release Notes
Release Date: 2016-07-08 // over 7 years ago-
Functionality
- โ Add
partition
to Prelude - Implement
naiveSort
in terms ofpartition
๐ Documentation
- ๐ Small fixes
- โ Add
partition
to PreludenaiveSort
in terms of partition